@inproceedings{BoFH00,
  title = "Explaining $\mathcal{ALC}$ Subsumption",
  author = "Alex Borgida and Enrico Franconi and Ian Horrocks",
  year = "2000",
  annote = "AKA: Horrocks00e",
  booktitle = "Proc.\ of the 14th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2000)",
  isbn = "1-58603-013-2",
  issn = "0922-6389",
  pages = "209--213",
  publisher = "IOS Press",
  url = "download/2000/BoFH00.pdf",
}