Alternating and empty alternating auxiliary stack automata.
scientific article; zbMATH DE number 1915574
scientific article