@article{TsHP07,
  title = "Optimizing Terminological Reasoning for Expressive Description Logics",
  author = "Dmitry Tsarkov and Ian Horrocks and Peter~F.\ Patel-Schneider",
  year = "2007",
  journal = "J.\ of Automated Reasoning",
  number = "3",
  pages = "277--316",
  url = "download/2007/TsHP07.pdf",
  volume = "39",
  doi = "10.1007/s10817-007-9077-y",
}