A Simple Proof of a Theorem of Statman

Harry G. Mairson. A Simple Proof of a Theorem of Statman. Theoretical Computer Science, 103(2):387-394, 1992.

Abstract

Abstract is missing.