1. Avron A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds) Logic: From Foundations to Applications. Proceedings of the Logic Colloquium, Keele, UK, 1993, pp. 1–32. Oxford University Press, New York (1996)
2. Belnap N.D. Jr: Display logic. J. Philos. Log. 11, 375–417 (1982)
3. Brünnler, K.: Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universität Dresden (2003)
4. Brünnler K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., Venema, Y. (eds) Advances in Modal Logic, vol. 6, pp. 107–119. College Publications, London (2006)
5. Brünnler K., Tiu A.F.: A local system for classical logic. In: Nieuwenhuis, R., Voronkov, A. (eds) LPAR 2001. Lecture Notes in Artificial Intelligence, vol. 2250, pp. 347–361. Springer, New York (2001)