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.