Lyon, T. S.; Ciabattoni, A.; Galmiche, D.; Girlando, M.; Larchey-Wendling, D.; Méry, D.; Olivetti, N.; Ramanayake, R. Internal and External Calculi: Ordering the Jungle Without Being Lost in Translations. B Sect Log 2025, 54 (1), 59-151. https://doi.org/10.18778/0138-0680.2025.02.