Lyon, Tim S., Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, and Revantha Ramanayake. “Internal and External Calculi: Ordering the Jungle Without Being Lost in Translations”. Bulletin of the Section of Logic 54, no. 1 (June 6, 2025): 59–151. Accessed December 6, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/24259.