On the complexity of ω-automata (1988)

by S Safra
Venue:In Proc. 29th IEEE Symp. Found. of Comp. Sci