Constraint Logic Programming: A (1994)

by J Jaffar, M J Maher
Venue:Survey, J. Logic Programming (JLP