@misc{indiciaeba9a6245dd16,
  title = {Internal and External Calculi: Ordering the Jungle without Being Lost in Translations},
  author = {Tim S. Lyon and Agata Ciabattoni and Didier Galmiche and Marianna Girlando and Dominique Larchey-Wendling and Daniel Méry and Nicola Olivetti and Revantha Ramanayake},
  year = {2025},
  doi = {10.18778/0138-0680.2025.02},
  url = {https://arxiv.org/abs/2312.03426},
  note = {Source identifier: 2312.03426}
}