Programming with Constraints. An Introduction (1998)

by Kim Marriott, Peter J Stuckey