Constraint logic programming, in: (1987)

by J Jaffar, J L Lassez
Venue:14th ACM Symposium on Principles of Programming Languages (POPL’87),