GALMICHE, Didier; HORNBECK, Brandon; MÉRY, Daniel. Proof Translations between Label-free and Labeled Sequent Calculi in ISCI. Bulletin of the Section of Logic, Poland, v. 55, n. 2, p. 321–379, 2026. DOI: 10.18778/0138-0680.2026.11. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/28180. Acesso em: 19 aug. 2026.