1. Proof transformation by CERES;Baaz,2006
2. Towards a clausal analysis of cut-elimination;Baaz;J. Symbolic Comput.,2006
3. K. Brünnler, Deep inference and symmetry for classical proofs, Ph.D. thesis, Technische Universität Dresden, 2003.
4. A local system for classical logic;Brünnler,2001
5. On the proof complexity of deep inference;Bruscoli;ACM Trans. Comput. Log.,2009