A Simple Proof of a Theorem of Statman. Theoretical Computer Science 103:2 (1992)

by H G Mairson