@inproceedings{ san-mci-kr06,
  author = {Sanner, S. and McIlraith, S.},
  title = {An Ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic},
  url = {san-mci-kr06.pdf},
  booktitle = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06)},
  address = {Lake District, UK},
  month = {June},
  year = {2006},
  pages = {100-111}
}