@techreport{Horrocks98k,
  title = "A {PS}\textsc{pace}-algorithm for deciding $\mathcal{ALCI}_{R^+}$-satisfiability",
  author = "I. Horrocks and U. Sattler and S. Tobies",
  year = "1998",
  institution = "LuFg Theoretical Computer Science, RWTH Aachen, Germany",
  number = "98-08",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1998/Horrocks98k.pdf",
}