The method of forced enumeration for nondeterministic automata (1988)

by Szelepcsenyi
Venue:ICALP '94, LNCS 820