Galmiche, D., Hornbeck, B., & Méry, D. (2026). Proof Translations between Label-free and Labeled Sequent Calculi in ISCI. Bulletin of the Section of Logic, 55(2), 321–379. https://doi.org/10.18778/0138-0680.2026.11