Pascal Van Hentenryck Helmut Simonis Mehmet Dincbas Constraint Satisfaction Using Constraint Logic Programming. 113-159 1992 58 Artif. Intell. 1-3 db/journals/ai/ai58.html#HentenryckSD92