Matthias Baaz, Christian G. Fermüller, Alexander Leitsch. A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 213-219, IEEE Computer Society, 1994.
Abstract is missing.