Skip to main content

The Iff Proof Procedure for Abductive Logic Programming

Title{The Iff Proof Procedure for Abductive Logic Programming}
Publication TypeJournal Article
Year of Publication1997
AuthorsFung, T. H., and R. A. Kowalski
JournalLogic Programming
Volume33
Pagination151-165