Eric Allender Lane A. Hemachandra Lower Bounds for the Low Hierarchy (Extended Abstract). 31-45 1989 conf/icalp/1989 ICALP db/conf/icalp/icalp89.html#AllenderH89 http://dx.doi.org/10.1007/BFb0035750