publication venue for Background 2012 Conclusion 2012 Introduction 2012 The Sequent Calculus for $${\mathcal{ ALC} }$$ 2012