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