@inproceedings{ san-mci-kr06,
  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)}
}
,
  author = {Sanner, S. and McIlraith, S.}
}
,
  year = {2006}
}
,
  month = {June}
}
,
  address = {Lake District, UK}
}
,
  pages = {100-111}
}