Symmetry coincides with nondeterminism for timebounded auxiliary pushdown automata (2010)

by Eric Allender, Klaus-Jörn Lange
Venue:25th Computational Complexity Conference