Programming with Constraints: An Introduction (1998)

by K Marriott, P Stuckey