The complexity of two-way pushdown automata and recursive programs (1985)

by W Rytter
Venue:Combinatorial Algorithms on Words, volume F:12 of NATO ASI Series