Indrzejczak, Andrzej. “Cut Elimination Theorem for Non-Commutative Hypersequent Calculus”. Bulletin of the Section of Logic 46, no. 1/2 (June 30, 2017): 135–149. Accessed June 2, 2024. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/2934.