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