1. Depth reduction for noncommutative arithmetic circuits;Allender,1993
2. On relativizing auxiliary pushdown machines;Angluin;Math. Systems Theory,1980
3. Alternation
4. Formal properties of grammars;Chomsky,1963
5. Computational Models of Games;Condon,1989