Galmiche, Didier, Brandon Hornbeck, and Daniel Méry. 2026. “Proof Translations Between Label-Free and Labeled Sequent Calculi in ISCI”. Bulletin of the Section of Logic 55 (2): 321–379. https://doi.org/10.18778/0138-0680.2026.11.