Constraint logic programming: A survey (1994)

by J Jaffar, M J Maher
Venue:Journal of Logic Programming, 19 and