1. Lecture Notes in Computer Science;K. Brünnler,2003
2. Brünnler, K.: Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universität Dresden (September 2003)
3. Brünnler, K.: Cut elimination inside a deep inference system for classical predicate logic. Studia Logica 82(1), 51–71 (2006)
4. Brünnler, K., Lengrand, S.: On two forms of bureaucracy in derivations. In: Bruscoli, P., Lamarche, F., Stewart, C. (eds.) Structures and Deduction, Technische Universität Dresden, pp. 69–80 (2005)
5. Lecture Notes in Computer Science;K. Brünnler,2001