Alternating finite automata and star-free languages
scientific article; zbMATH DE number 1493454
scientific article