Galmiche, D. et al. 2026. Proof Translations between Label-free and Labeled Sequent Calculi in ISCI. Bulletin of the Section of Logic. 55, 2 (Jun. 2026), 321–379. DOI:https://doi.org/10.18778/0138-0680.2026.11.