Harry G. Mairson. A Simple Proof of a Theorem of Statman. Theoretical Computer Science, 103(2):387-394, 1992.
@article{Mairson92:1, title = {A Simple Proof of a Theorem of Statman}, author = {Harry G. Mairson}, year = {1992}, researchr = {https://researchr.org/publication/Mairson92%3A1}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {103}, number = {2}, pages = {387-394}, }