Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words
scientific article; zbMATH DE number 7498725
scientific article