Eric Allender Lane A. Hemachandra Lower Bounds for the Low Hierarchy. 234-251 1992 39 J. ACM 1 db/journals/jacm/jacm39.html#AllenderH92 http://doi.acm.org/10.1145/147508.147546