Galmiche, D.; Hornbeck, B.; Méry, D. Proof Translations Between Label-Free and Labeled Sequent Calculi in ISCI. B Sect Log 2026, 55 (2), 321–379. https://doi.org/10.18778/0138-0680.2026.11.