On complexity of ω-automata (1988)

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