Constraint logic programming (1987)

by J Jaffar, J-L Lassez
Venue:In Proc. of the 14th ACM POPL Symposium