Programming with constraints (1998)

by K Marriott, P Stuckey