On simultaneously determinizing and complementing!- automata (1989)

by E A Emerson, C Jutla
Venue:In Proceedingsof the 4th IEEE Symposium on Logic in Computer Science