@inproceedings{
   rewriting-elp,
   author = {Michael J. O'Donnell},
   title = {Term-Rewriting Implementation of Equational Logic
		  Programming},
   booktitle = {Rewriting Techniques and Applications, Bordeaux,
		  France, May 1987, Proceedings},
   series = {Lecture Notes in Computer Science},
   volume = {256},
   editor = {Pierre Lescanne},
   publisher = {Springer-Verlag},
   year = {1987}
}