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,
}











