On the complexity of !-automata (1988)

by S Safra
Venue:In Proc. 29th FOCS