Publications in Scientific Journals:

M. Baaz, A. Leitsch:
"Towards a clausal analysis of cut-elimination";
Journal of Symbolic Computation, 41 (2006), 381 - 410.

English abstract:
Clausal Analysis of Cut-elimination

German abstract:
Klausale Analyse der Schnitt-elimination

Online library catalogue of the TU Vienna:

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