Kim Marriott Nicholas Nethercote Reza Rafeh Peter J. Stuckey Maria Garcia de la Banda Mark Wallace The Design of the Zinc Modelling Language. 229-267 2008 13 Constraints 3 http://dx.doi.org/10.1007/s10601-008-9041-4 db/journals/constraints/constraints13.html#MarriottNRSBW08