Constraint logic programming (1987)

by J Ja ar, J L Lassez
Venue:Journal of Logic Programming