@inproceedings{HL08,
  title = "Complexity of Subsumption in the $\mathcal{EL}$ Family of Description Logics: Acyclic and Cyclic {TB}oxes",
  author = "Christoph Haase and Carsten Lutz",
  year = "2008",
  booktitle = "European Conference on Artificial Intelligence, {ECAI}",
  pages = "25--29",
  publisher = "{IOS} Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  volume = "178",
  doi = "10.3233/978-1-58603-891-5-25",
}