Alan M. Frisch Warwick Harvey Christopher Jefferson Bernadette Martínez Hernández Ian Miguel Essence : A constraint language for specifying combinatorial problems. 268-306 2008 13 Constraints 3 http://dx.doi.org/10.1007/s10601-008-9047-y db/journals/constraints/constraints13.html#FrischHJHM08