Indrzejczak, A. Cut Elimination Theorem for Non-Commutative Hypersequent Calculus. B Sect Log 2017, 46, 135–149.