Constraint logic programming (1987)

by J Jaffar, J-L Lassez
Venue:In Proceedings 14th ACM Symposium on Principles of Programming Languages