## Scott Sanner, Sheila A. McIlraith

*An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic*

KR, 2006.

@inproceedings{KR-2006-SannerM, author = "Scott Sanner and Sheila A. McIlraith", booktitle = "{Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning}", ee = "http://www.aaai.org/Library/KR/2006/kr06-013.php", isbn = "978-1-57735-271-6", pages = "100--111", publisher = "{AAAI Press}", title = "{An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic}", year = 2006, }