Constraint satisfaction in logic programming by van Hentenryck, Pascal fromLogic programming 0 Type: Book