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