publication venue for A Natural Deduction for $$\mathcal{ ALC} $$ 2012 A Prototype Theorem Prover 2012 Comparing $$\mathrm{ SC} _{\mathcal{ ALC} }$$ with Other $$\mathcal{ ALC} $$ Deduction Systems 2012 Proofs and Explanations 2012 Towards a Proof Theory for $$\mathcal{ ALCQI} $$ 2012