@inproceedings{BFHMP99,
  title = "Explaining {$\mathcal{ALC}$} Subsumption",
  author = "Alex Borgida and Enrico Franconi and Ian Horrocks and Deborah L. McGuinness and Patel-Schneider, Peter F.",
  year = "1999",
  annote = "AKA: Horrocks99i",
  booktitle = "Proc.\ of the 1999 Description Logic Workshop (DL'99)",
  pages = "37--40",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/1999/BFHMP99.pdf",
  volume = "22",
}