O'Donnell, Michael J. "Term-rewriting implementation of equational logic programming" pp1-12

Lescanne, P. (1987) Lescanne, P. (ed) Proc. of Rewriting Techniques and Applications, Bordeaux, France, 1987. Springer-Verlag  

Languages mentioned ELP {1975}