Martini, S.; Masini, A.; Zorzi, M. Cut Elimination for Extended Sequent Calculi. B Sect Log 2023, 52, 459-495.