Constraint logic programming: a survey, (1994)

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