1. Boretti, B., & Negri, S. (2009). Decidability for Priorean linear time using a fixed-point labelled calculus. In M. Giese & A. Waaler (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods (pp. 108–122). Berlin: Springer.
2. Dyckhoff, R. (1988). Implementing a simple proof assistant. In Workshop on Programming for Logic Teaching: Proceedings 23/1988 (pp 49–59). University of Leeds: Centre for Theoretical Computer Science.
3. Dyckhoff, R., & Negri, S. (2012). Proof analysis in intermediate logics. Archive for Mathematical Logic, 51(1–2), 71–92.
4. Garg, D., Genovese, V., & Negri, S. (2012). Countermodels from sequent calculi in multi-modal logics. In LICS 2012, IEEE computer society (pp. 315–324).
5. Gentzen, G. (1934–1935). Untersuchungen Über das logische Schließen I. Mathematische Zeitschrift, 39(2), 176–210.