"On Emptiness and Counting for Alternating Finite Automata."

Markus Holzer (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics