D. Galmiche, B. Hornbeck, and D. Méry, “Proof Translations between Label-free and Labeled Sequent Calculi in ISCI”, B Sect Log, vol. 55, no. 2, pp. 321–379, Jun. 2026, doi: 10.18778/0138-0680.2026.11.