@inproceedings{HoPa98c,
  title = "Optimising Propositional Modal Satisfiability for Description Logic Subsumption",
  author = "I. Horrocks and P. F. Patel-Schneider",
  year = "1998",
  annote = "AKA: Horrocks98a",
  booktitle = "Proc.\ of the 4th Int.\ Conf.\ on Artificial Intelligence and Symbolic Computation (AISC'98)",
  pages = "234--246",
  publisher = "SV",
  series = "LNAI",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1998/HoPa98c.pdf",
  volume = "1476",
}