Publications in Scientific Journals:
M. Baaz, S. Hetzl:
"On the non-confluence of cut-elimination";
Journal of Symbolic Logic,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.