Lescanne, P. (ed) Proc. of Rewriting Techniques and Applications, Bordeaux, France, 1987. Springer-Verlag
(1987)
O'Donnell, Michael J. (1987)
O'Donnell, Michael J. "Term-rewriting implementation of equational logic programming" pp1-12