1. Avron, A., Honsell, F., Miculan, M., Paravano, C.: Encoding Modal Logics in Logical Frameworks. Studia Logica 60(1), 161–208 (1998)
2. Basin, D., Matthews, S., Viganò, L.: Natural Deduction for Non-Classical Logics. Studia Logica 60(1), 119–160 (1998)
3. Byrnes, J.: Proof Search and Normal Forms for Natural Deductions. PhD thesis, Carnegie Mellon University (1999)
4. Cittadini, S.: Intercalation calculus for intuitionistic propositional logic. Technical Report PHIL-29, Philosophy, Methodology, and Logic, Carnegie Mellon University (1992)
5. Cittadini, S.: Deduzione Naturale e Ricerca Automatica di Dimostrazioni in varie logiche: il Calcolo delle Intercalazioni. In: Cellucci, C., Di Maio, M. C., Roncaglia, G. (eds.): Atti del Congresso Logica e filosofia della scienza: problemi e prospettive, Lucca, Pisa, gennaio 7–10, pp. 583–591. Edizioni ETS (1993)