Programming with Constraints: An Introduction (1998)

by K MARRIOTT, P J STUCKEY