Publications in Scientific Journals:

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)

Created from the Publication Database of the Vienna University of Technology.