On the complexity of ω-automata (1988)

by S Safra
Venue:In Proceedings of the 29th IEEE Symposium on Foundations of Computer Science