Martini S, Masini A, Zorzi M. Cut Elimination for Extended Sequent Calculi. B Sect Log [Internet]. 2023 Sep. 25 [cited 2026 Jan. 11];52(4):459-95. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/13263