On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla

Browse the full LICS paper archive.