The finite graph problem for two-way alternating automata.
scientific article; zbMATH DE number 1915472