@inproceedings{GaHT06a,
  title = "Automated Benchmarking of Description Logic Reasoners",
  author = "Tom Gardiner and Ian Horrocks and Dmitry Tsarkov",
  year = "2006",
  booktitle = "Proc.\ of the 2006 Description Logic Workshop (DL~2006)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2006/GaHT06a.pdf",
  volume = "189",
}