Constraint Logic Programming: A Survey (1994)

by J Jaffar, M J Maher
Venue:J. Log. Program