Equational Logic Programming
List of papers
from
Michael J. O'Donnell
Bibliography
Michael J. O'Donnell
.
Equational Logic Programming.
Chapter 2 of Handbook of Logic in Artificial Intelligence and
Logic Programming, volume 5 on Logic Programming, Dov
Gabbay editor, Oxford University Press.
This is a late draft, and further editing may occur before final publication.
Copyright
Copyright is held by the author, who grants permission to use the
material under the terms of the GNU license. In general, you may use
this reprint for noncommercial scholarly and educational purposes. You
may convert the text to other formats, and pass along copies to others
as long as you preserve the credit to the authors and publisher, and
pass on with every copy of this paper or derivative work the full
license granted to you.