TY - BOOK AU - Marriott, Kim. AU - Stuckey, Peter J. TI - Programming with Constraints: An Introduction SN - 0 262 13341 5 CY - Cambridge ER -