Martini, Simone, Andrea Masini, and Margherita Zorzi. “Cut Elimination for Extended Sequent Calculi”. Bulletin of the Section of Logic 52, no. 4 (September 25, 2023): 459–495. Accessed January 11, 2026. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/13263.