Lyon, Tim S., et al. “Internal and External Calculi: Ordering the Jungle Without Being Lost in Translations”. Bulletin of the Section of Logic, vol. 54, no. 1, June 2025, pp. 59-151, doi:10.18778/0138-0680.2025.02.