Walter L. Ruzzo Tree-Size Bounded Alternation. 218-235 1980 21 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss21.html#Ruzzo80 http://dx.doi.org/10.1016/0022-0000(80)90036-7