The method of forced enumeration for nondeterministic automata (1988)

by R Szelepcsényi
Venue:Acta Informatica