M.: Constraint logic programming: A survey (1994)

by J Jaffar, Maher
Venue:Journal of Logic Programming