Constraint Logic Programming (1987)

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