Constraint Satisfaction in Logic Programming (1988)

by P van Hentenryck