@inproceedings{Horr98b,
  title = "The {FaCT} System",
  author = "Ian Horrocks",
  year = "1998",
  annote = "AKA: Horrocks98d",
  booktitle = "Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)",
  editor = "Harrie {de Swart}",
  pages = "307--312",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/1998/Horr98b.pdf",
  volume = "1397",
}