M. Rukhaia: "CERES in Proof Schemata"; Supervisor, Reviewer: N. Peltier, A. Leitsch; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.