1. Avron, A. (1991). Using hypersequents in proof systems for non-classical logics. Annals of Mathematics and Artificial Intelligence, 4, 225–248.
2. Avron, A. (1996). The method of hypersequents in the proof theory of non-classical logics. In M. Hyland, W. Hodges, C. Steinhorn, & J. Truss (Eds.), Logic: Foundations to applications. Oxford: Oxford Science Publications.
3. Belnap, N. (1962). Tonk, plonk, and plink. Analysis, 22(6), 130–134.
4. Belnap, N. (1982). Display logic. Joiurnal of Philosophical Logic, 11(4), 375–417.
5. Brandom, R. (1998). Making it explicit. Cambridge: First Harvard University Press.