1. Abadi, M., L. Cardelli, P.-L. Curien, and J.-J. Lévy (1991). Explicit substitutions. Journal of Functional Programming 1/4, 375–416.
2. Arndt, M. (2019). Eight inference rules for implication. Studia Logica.
3. Arndt, M. and L. Tesconi (2014). Principles of explicit composition. In: Second Pisa Colloquium in Logic, Language and Epistemology, Proceedings. Ed. By E. Moriconi. ETS, 19–67.
4. Avron, A. (1990). Gentzenizing Schroeder-Heister’s natural extension of natural deduction. Notre Dame Journal of Formal Logic 31, 127–135.
5. Dyckhoff, R. (1987). Implementing a simple proof assistant. In: Workshop on Programming for Logic Teaching. Ed. by J. Derrick and H. A. Lewis. Centre for Theoretical Computer Science, University of Leeds, 49–59.