Dreßler, C. (2007). First-order Proof Documentation. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.