@techreport{BMGSH15a,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SHIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2015",
  institution = "Department of Computer Science, University of Oxford",
  month = "6",
}