Michael J. Fischer, Albert R. Meyer, Mike Paterson. Omega(n log n) Lower Bounds on Length of Boolean Formulas. SIAM Journal on Computing, 11(3):416-427, 1982.
@article{FischerMP82,
title = {Omega(n log n) Lower Bounds on Length of Boolean Formulas},
author = {Michael J. Fischer and Albert R. Meyer and Mike Paterson},
year = {1982},
researchr = {https://researchr.org/publication/FischerMP82},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {11},
number = {3},
pages = {416-427},
}