1. [17] Mints, G., G. Olkhovikov, and A. Urquhart, “Failure of interpolation in the intuitionistic logic of constant domains,” preprint, arXiv:1202.3519v3 [math.LO].
2. [1] Brünnler, K., “Deep sequent systems for modal logic,” Archive for Mathematical Logic, vol. 48 (2009), pp. 551–77.
3. [2] Brünnler, K., “Nested Sequents,” Habilitation thesis, Institut für Informatik und angewandte Mathematik, Universität Bern, 2010.
4. [3] Došen, K., “Sequent-Systems for modal logic,” Journal of Symbolic Logic, vol. 50 (1985), pp. 149–68.
5. [4] Fiorentini, C., and P. Miglioli, “A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications,” Logic Journal of the IGPL, vol. 7 (1999), pp. 733–53.