@conference{HL08-ecai,
  title = "Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes",
  author = "Christoph Haase and Carsten Lutz",
  year = "2008",
  booktitle = "Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI'08})",
  editor = "Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris",
  location = "Patras, Greece",
  month = "July",
  pages = "25--29",
  publisher = "IOS Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  volume = "178",
  doi = "10.3233/978-1-58603-891-5-25",
}