1. M. Baaz and G. Moser. Herbrand’s Theorem and Term Induction. Submitted to the Annals of Pure and Applied Logic, 2001.
2. M. Baaz and P. Pudlák. Kreisel’s conjecture for L∃1. In P. Clote and J. Krajíćek, editors, Arithmetic, Proof Theory and Computational Complexity, pages 29–59. Oxford University, 1993. With a postscript by G. Kreisel.
3. Lect Notes Comput Sci;M. Baaz,1995
4. F. Baader and W. Snyder. Unification theory. In A. Voronkov, editor, Handbook of Automated Reasoning, volume I, pages 445–532. 2001.
5. S. R. Buss. An Introduction to Proof Theory. In S. R. Buss, editor, Handbook of Proof Theory, pages 1–79. Elsevier Science, 1998.