Indrzejczak, Andrzej. 2017. “Cut Elimination Theorem for Non-Commutative Hypersequent Calculus”. Bulletin of the Section of Logic 46 (1/2):135–149. https://doi.org/10.18778/0138-0680.46.1.2.10.