@inproceedings{TsHo06a,
  title = "{FaCT}++ Description Logic Reasoner: System Description",
  author = "Dmitry Tsarkov and Ian Horrocks",
  year = "2006",
  booktitle = "Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2006)",
  pages = "292--297",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2006/TsHo06a.pdf",
  volume = "4130",
}