9 citations · 9 across the 1 of their papers we have counts for
1 paper
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their resp…