Arai, 2000. Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II 243.. https://doi.org/10.1016/s0304-3975(98)00186-8