A simulation result for two-way pushdown automata
languages recognized by two-way deterministic pushdown automata
scientific article; zbMATH DE number 3806960