Constraint Satisfaction in Logic Programming (1989)

by P Van Hcntcnryck