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