Introduction to Constraint Logic Programming (1998)

by K Marriott, P J Stuckey