Constraint Logic Programming: A Survey (1994)

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