Alexandre Rademaker Edward Hermann Haeusler Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. 167-176 2008 SBIA http://dx.doi.org/10.1007/978-3-540-88190-2_22 conf/sbia/2008 db/conf/sbia/sbia2008.html#RademakerH08