Constraint logic programming

Jaffar, J. | Lassez, J.-L.

Classics 

In Proc. Fourteenth ACM Conference on Principles of Programming Languages, pp. 111– 119. Association for Computing Machinery.