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