Publications in Scientific Journals:
M. Baaz, S. Hetzl:
"On the non-confluence of cut-elimination";
Journal of Symbolic Logic,
76
(2011),
1;
313
- 340.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.2178/jsl/1294171002
Created from the Publication Database of the Vienna University of Technology.