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