Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Wischnewski, Patrick Automation of Logic, MPI for Informatics, Max Planck Society;
http://www.eprover.org/EVENTS/PAAR-2012/PAAR2012.pdf (Any fulltext)
Weidenbach, C., & Wischnewski, P. (2012). Satisfiability Checking and Query Answering for Large Ontologies. In PAAR-2012 (pp. 163-177). Manchester, UK: PAAR-2012.