S. Martini, A. Masini, and M. Zorzi, “Cut Elimination for Extended Sequent Calculi”, B Sect Log, vol. 52, no. 4, pp. 459–495, Sep. 2023.