Alternation in two-way finite automata
scientific article; zbMATH DE number 7354759
scientific article