Martini, S.; Masini, A.; Zorzi, M. Cut Elimination for Extended Sequent Calculi. B Sect Log 2023, 52 (4), 459-495. https://doi.org/10.18778/0138-0680.2023.22.