David S. Homiak
SBC/OC Services L.P.
Constraint logic programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint logic programming languages
Communications of the ACM