Two-way nested stack automata are equivalent to two-way stack automata (Q1227452)

From MaRDI portal