1. Zhang, W.: Cut elimination and automatic proof procedures. Theoretical Computer Science 91, 265–284 (1991)
2. Zhang, W.: Depth of proofs, depth of cut-formulas and complexity of cut formulas. Theoretical Computer Science 129, 193–206 (1994)
3. Schwichtenberg, H.: Proof Theory: Some Applications of Cut-Elimination. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 868–894. North-Holland Publishing Company, Amsterdam (1977)
4. Buss, S.R.: An Introduction to Proof Theory. In: Buss, S.R. (ed.) Handbook of Proof Theory, pp. 2–78. Elsevier Science B.V, Amsterdam (1998)
5. Luckhardt, H.: Komplexität der Beweistransformation bei Schnittelimination. Handwritten notes (1991)