"An Abstract Machine for CLP(R)."

Joxan Jaffar et al. (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics