Term-Rewriting Implementation of Equational Logic Programming.

Michael J. O'Donnell Term-Rewriting Implementation of Equational Logic Programming. 1-12 1987 conf/rta/87 RTA db/conf/rta/rta87.html#ODonnell87 http://dx.doi.org/10.1007/3-540-17220-3_1