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. doi:10.18778/0138-0680.2026.11