Joxan Jaffar Spiro Michaylov Peter J. Stuckey Roland H. C. Yap An Abstract Machine for CLP(R). 128-139 1992 PLDI db/conf/pldi/pldi92.html#JaffarMSY92