Constructions for alternating finite automata∗
scientific article; zbMATH DE number 4147527