An Abstract Machine for CLP(R (1992)

by J Jaffar, S Michaylov, P J Stuckey, R Yap
Venue:In proceedings of Sigplan PLDI