An abstract machine for CLP(R (1992)

by J JAFFAR, S MICHAYLOV, P STUCKEY, R YAP
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation