Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel. From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. Electronic Notes in Theoretical Computer Science, 332:75-93, 2017. [doi]
@article{CiabattoniLOP17, title = {From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction}, author = {Agata Ciabattoni and Björn Lellmann and Carlos Olarte and Elaine Pimentel}, year = {2017}, doi = {10.1016/j.entcs.2017.04.006}, url = {https://doi.org/10.1016/j.entcs.2017.04.006}, researchr = {https://researchr.org/publication/CiabattoniLOP17}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {332}, pages = {75-93}, }