On Simultaneously Determinizing and Complementing !- Automata (1989)

by E A Emerson, C S Jutla
Venue:IEEE LICS