Petr Jancar Zdenek Sawa A note on emptiness for alternating finite automata with a one-letter alphabet. 164-167 2007 104 Inf. Process. Lett. 5 http://dx.doi.org/10.1016/j.ipl.2007.06.006 db/journals/ipl/ipl104.html#JancarS07