On simultaneously determinizing and complementing !-automata (1989)

by E A Emerson, C S Jutla
Venue:In Proc. of LICS-89