Programming with constraints: an introduction - Marriott Kim; Stuckey Peter J (Cambridge MIT Press, 1998)
Keywords: Constraint programming(Computer science); Logic programming