Tractability of cut-free Gentzen type propositional calculus with permutation inference
cut-free Gentzen type propositional calculus
polynomial size proofs for hard combinatorial problems
scientific article; zbMATH DE number 984748