Galmiche D, Hornbeck B, Méry D. Proof Translations between Label-free and Labeled Sequent Calculi in ISCI. B Sect Log [Internet]. 2026 Jun. 29 [cited 2026 Oct. 3];55(2):321–379. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/28180