1. Baader, F., Snyder, W.: Unification Theory. Vol. I. Elsevier Science Publisher, 2001, pp. 445–532
2. Baaz, M.: Über den allgemeinen Gehalt von Beweisen. In: Contributions to General Algebra 6, Hölder-Pichler-Tempsky, Teubner, 1988, pp. 21–29
3. Baaz, M., Fermüller, C.: A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. In: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7–12, 2001, Proceedings, Springer Verlag, 2001, pp. 38–48
4. Baaz, M., Leitsch, A.: On Skolemization and Proof Complexity. Fund. Informaticae 20 (4), 353–379 (1994)
5. Baaz, M., Leitsch, A.: Cut Elimination by Resolution. J. Symb. Comp. (1999)