Martini, Simone, Andrea Masini, and Margherita Zorzi. 2023. “Cut Elimination for Extended Sequent Calculi”. Bulletin of the Section of Logic 52 (4): 459-95. https://doi.org/10.18778/0138-0680.2023.22.