Markus Holzer: On Emptiness and Counting for Alternating Finite Automata. Developments in Language Theory 1995: 88-97