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