@inproceedings{HoVo06a,
  title = "Reasoning Support for Expressive Ontology Languages Using a Theorem Prover",
  author = "Ian Horrocks and Andrei Voronkov",
  year = "2006",
  booktitle = "Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS)",
  isbn = "3-540-31782-1",
  number = "3861",
  pages = "201--218",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "download/2006/HoVo06a.pdf",
}