MARTINI, S.; MASINI, A.; ZORZI, M. Cut Elimination for Extended Sequent Calculi. Bulletin of the Section of Logic, [S. l.], v. 52, n. 4, p. 459–495, 2023. DOI: 10.18778/0138-0680.2023.22. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/13263. Acesso em: 11 may. 2024.