1. Brünnler, K.: Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universität Dresden (2003)
2. Burch, R.W.: A Peircean Reduction Thesis: The Foundation of Topological Logic. Texas Tech. University Press, Texas (1991)
3. Lecture Notes in Computer Science;M. Baaz,1994
4. Lecture Notes in Artificial Intelligence;F. Dau,2002
5. Lecture Notes in Artificial Intelligence;F. Dau,2004