A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation

Matthias Baaz, Christian G. Fermller, Alexander Leitsch

Browse the full LICS paper archive.