Martini, S., Masini, A., & Zorzi, M. (2023). Cut Elimination for Extended Sequent Calculi. Bulletin of the Section of Logic, 52(4), 459–495. https://doi.org/10.18778/0138-0680.2023.22