Constraint Logic Programming (1987)

by J Jaffar, J L Lassez
Venue:in Proc. The ACM Symposium on Principles of Programming Languages, ACM