@incollection{Horrocks00m,
  title = "Evaluating Optimised Decision Procedures for Propositional Modal $\mathbf{K}_{(\mathbf{m})}$ Satisfiability",
  author = "I. Horrocks and P. F. Patel-Schneider",
  year = "2000",
  address = "Amsterdam",
  booktitle = "Highlights of Satisfiability Research in the Year 2000",
  editor = "I. Gent and H. van Maaren and T. Walsh",
  isbn = "1 58603 061 2",
  publisher = "ISO Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2002/HoPaJAR.pdf",
  volume = "63",
}