D. Cerna: "Advances in Schematic Cut Elimination"; Supervisor, Reviewer: A. Leitsch, N. Peltier, G. Moser; Institut für Computersprachen, 2015; oral examination: 2015-04-14.