M.: The design of the Zinc modelling language (2008)

by K Marriott, N Nethercote, R Rafeh, P J Stuckey, de la Banda, M G Wallace
Venue:Constraints