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]
@inproceedings{RademakerH08,
title = {Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach},
author = {Alexandre Rademaker and Edward Hermann Haeusler},
year = {2008},
doi = {10.1007/978-3-540-88190-2_22},
url = {http://dx.doi.org/10.1007/978-3-540-88190-2_22},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/RademakerH08},
cites = {0},
citedby = {0},
pages = {167-176},
booktitle = {Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings},
editor = {Gerson Zaverucha and Augusto Cesar Pinto Loureiro da Costa},
volume = {5249},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-88189-6},
}