On the complexity of parity word automata (2001)

by V King, O Kupferman, M Y Vardi
Venue:In Foundations of Software Science and Computation Structures