S. Hetzl: "Characteristic Clause Sets and Proof Transformations"; Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14.
http://www.logic.at/staff/hetzl/phdthesis.pdf