Constraint satisfaction in logic programming - Hentenryck, Pascal Van (Cambridge MIT, 1989)