A note on two-way nondeterministic pushdown automata
complexity of the simulation of pushdown automata
scientific article; zbMATH DE number 3782387