@inproceedings{MoSH07a,
  title = "Optimized Reasoning in Description Logics using Hypertableaux",
  author = "Boris Motik and Rob Shearer and Ian Horrocks",
  year = "2007",
  booktitle = "Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction (CADE-21)",
  pages = "67--83",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2007/MoSH07a.pdf",
  volume = "4603",
}