Oliver Ray
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic
ICLP, 2005.
@inproceedings{ICLP-2005-Ray, author = "Oliver Ray", booktitle = "{Proceedings of the 21st International Conference on Logic Programming}", doi = "10.1007/11562931_33", isbn = "3-540-29208-X", pages = "410--411", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic}", volume = 3668, year = 2005, }