Constraint logic programming (1987)

by J Jaffar, J Lassez
Venue:In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL’87