1. Avron, A., ‘The method of hypersequents in the proof theory of Propositional non-classical logics’, in Wilfrid Hodges, Martin Hyland, Charles Steinhorn, and John Truss, (eds.), Logic: from foundations to applications. Proc. Logic Colloquium, Keele, UK, 1993. Oxford University Press, New York, 1996, pp. 1–32.
2. Basin, D., M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Vigano (eds.), Labelled Deduction, volume 17 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht, 2000.
3. Belnap, N. D., Jr., ‘Display logic’, Journal of Philosophical Logic, 11: 375–417, 1982.
4. Brünnler, K., ‘Atomic cut elimination for classical logic’, in M. Baaz and J. A. Makowsky, (eds.), CSL 8003, volume 2803 of Lecture Notes in Computer Science. Springer-Verlag, 2003, pp. 86–97.
5. Brünnler, K., Deep Inference and Symmetry in Classical Proofs. PhD thesis, Tech-nische Universität Dresden, September 2003.