The method of forcing for nondeterministic automata (1987)

by R Szelepcsenyi
Venue:Bull. European Assoc. Theoret. Comput. Sci