Weidenbach, C., & Wischnewski, P. (2012). Satisfiability Checking and Query Answering for Large Ontologies. In PAAR-2012 (pp. 163-177). Manchester, UK: PAAR-2012.