1. A. Avron. The method of hypersequents in the proof theory of propositional non-classical logic. In W. Hodges, M. Hyland, C. Steinhorn, and J. Strauss, editors, Logic: from Foundations to Applications, pp. 1–32. Oxford University Press, Oxford, 1996.
2. N. D. Belnap. Display logic. Journal of Philosophical Logic, 11:375–417, 1982.
3. G. Boloos. Don’t eliminate cut. Journal of Philosophical Logic, 13:373–378, 1984.
4. E. Casari. Introduzione alla Logica. UTET, Torino, 1997.
5. H. B. Curry. The elimination theorem when modality is present. Journal of Symbolic Logic, 17:249–265, 1952.