@article{Horrocks99l,
  title = "An Analysis of Empirical Testing for Modal Decision Procedures",
  author = "I. Horrocks and P. F. Patel-Schneider and R. Sebastiani",
  year = "2000",
  journal = "Logic Journal of the {IGPL}",
  number = "3",
  pages = "293--323",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/Horrocks99l.pdf",
  volume = "8",
}