The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.

Oliver Ray

Browse the full ICLP paper archive.