Róbert Szelepcsényi The Method of Forced Enumeration for Nondeterministic Automata. 279-284 1988 26 Acta Inf. 3 db/journals/acta/acta26.html#Szelepcsenyi88