Time complexity of loop-free two-way pushdown automata
algorithm for the fast recognition of languages recognized by two-way nondeterministic pushdown automata
scientific article; zbMATH DE number 3806959