Galmiche, Didier, Brandon Hornbeck, and Daniel Méry. “Proof Translations Between Label-Free and Labeled Sequent Calculi in ISCI”. Bulletin of the Section of Logic 55, no. 2 (June 29, 2026): 321–379. Accessed August 19, 2026. https://czasopisma.uni.lodz.pl/bulletin/article/view/28180.