@inproceedings{TsHo05a,
  title = "Ordering Heuristics for Description Logic Reasoning",
  author = "Dmitry Tsarkov and Ian Horrocks",
  year = "2005",
  booktitle = "Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)",
  pages = "609--614",
  url = "download/2005/TsHo05a.pdf",
}