Alan M. Frisch Ian Miguel Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. 227-228 2008 13 Constraints 3 http://dx.doi.org/10.1007/s10601-008-9045-0 db/journals/constraints/constraints13.html#FrischM08