@article{HoST00,
  title = "Practical Reasoning for Very Expressive Description Logics",
  author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
  year = "2000",
  annote = "AKA: Horrocks99m",
  journal = "Logic Journal of the {IGPL}",
  number = "3",
  pages = "239--264",
  url = "download/2000/HoST00.pdf",
  volume = "8",
}