@inproceedings{Horrocks00d,
  title = "Benchmark Analysis with {FaCT}",
  author = "I. Horrocks",
  year = "2000",
  booktitle = "Proc.\ of the 4th Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX~2000)",
  isbn = "3-540-67697-X",
  number = "1847",
  pages = "62--66",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Artificial Intelligence",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/Horrocks00d.pdf",
}