@article{HoPa02,
  title = "Evaluating Optimised Decision Procedures for Propositional Modal $\mathbf{K}_{(\mathbf{m})}$ Satisfiability",
  author = "I. Horrocks and P. F. Patel-Schneider",
  year = "2002",
  annote = "AKA: Horrocks99f",
  copyright = "http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/Publications/download/2002/HoPaJAR.pdf",
  isbn = "1586030612",
  issn = "0168-7433",
  journal = "J.\ of Automated Reasoning",
  month = "FEB",
  number = "2",
  pages = "173--204",
  publisher = "Springer",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2002/HoPaJAR.pdf",
  volume = "28",
}