@inproceedings{TsHo03a,
  title = "{DL} Reasoner vs.\ First-Order Prover",
  author = "Dmitry Tsarkov and Ian Horrocks",
  year = "2003",
  booktitle = "Proc.\ of the 2003 Description Logic Workshop (DL~2003)",
  pages = "152--159",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2003/TsHo03a.pdf",
  volume = "81",
}