B. Lellmann, A. Ciabattoni et al.:
"From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction";
Electronic Notes in Theoretical Computer Science (ENTCS),
332
(2017),
18 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)