Van Hentenryck. "Constraint Satisfaction in Logic Programming" Logic Programming Series, The MIT Press, Cambridge, MA, 1989.

Languages mentioned

• CHIP {1985}