@inproceedings{HoPa98b,
  title = "Comparing Subsumption Optimizations",
  author = "Ian Horrocks and Patel-Schneider, Peter F.",
  year = "1998",
  annote = "AKA: Horrocks98b",
  booktitle = "Proc.\ of the 1998 Description Logic Workshop (DL'98)",
  pages = "90--94",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/1998/HoPa98b.pdf",
  volume = "11",
}