Juraj Hromkovic Tradeoffs for Language Recognition on Alternating Machines. 203-221 1989 63 Theor. Comput. Sci. 2 db/journals/tcs/tcs63.html#Hromkovic89