@techreport{cb-SHIQ,
  title = "{Consequence-Based Reasoning for $\mathcal{SHIQ}$}",
  author = "Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Andrew Bate",
  year = "2013",
  institution = "University of Oxford",
}