TY  - RPRT
TI  - Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
AU  - Tim S. Lyon
AU  - Agata Ciabattoni
AU  - Didier Galmiche
AU  - Marianna Girlando
AU  - Dominique Larchey-Wendling
AU  - Daniel Méry
AU  - Nicola Olivetti
AU  - Revantha Ramanayake
PY  - 2025
DO  - 10.18778/0138-0680.2025.02
UR  - https://arxiv.org/abs/2312.03426
ID  - 2312.03426
ER  -