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