A simulation result for the auxiliary pushdown automata
scientific article; zbMATH DE number 3666206