Fietzke, Arnaud Automation of Logic, MPI for Informatics, Max Planck Society;
Fietzke, A. (2007). Labelled Splitting. Master Thesis, Universität des Saarlandes, Saarbrücken.