Walter L. Ruzzo Tree-Size Bounded Alternation. 218-235 1980 21 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss21.html#Ruzzo80