Alexandre Rademaker, Edward Hermann Haeusler. Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. In Gerson Zaverucha, Augusto Cesar Pinto Loureiro da Costa, editors, Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings. Volume 5249 of Lecture Notes in Computer Science, pages 167-176, Springer, 2008. [doi]
Abstract is missing.