Joxan Jaffar Spiro Michaylov Peter J. Stuckey Roland H. C. Yap The CLP(R) Language and System. 339-395 1992 14 ACM Trans. Program. Lang. Syst. 3 db/journals/toplas/toplas14.html#JaffarMSY92