Programming with Constraints (1998)

by K Meriott, P Stuckey