Galmiche, Didier, et al. “Proof Translations Between Label-Free and Labeled Sequent Calculi in ISCI”. Bulletin of the Section of Logic, vol. 55, no. 2, June 2026, pp. 321–379, https://doi.org/10.18778/0138-0680.2026.11.