Róbert Szelepcsényi The moethod of focing for nondeterministic automata. 96-99 1987 33 Bulletin of the EATCS db/journals/eatcs/eatcs33.html#Szelepcsenyi87