@inproceedings{Horr99,
  title = "{FaCT} and {iFaCT}",
  author = "Ian Horrocks",
  year = "1999",
  annote = "AKA: Horrocks99c",
  booktitle = "Proc.\ of the 1999 Description Logic Workshop (DL'99)",
  pages = "133--135",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/1999/Horr99.pdf",
  volume = "22",
}