Harry B. Hunt III Richard Edwin Stearns The Complexity of Very Simple Boolean Formulas with Applications. 44-70 1990 19 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp19.html#HuntS90