Jacob Abraham;Richard Saul Raimi
-;-
Büchi automata can have smaller quotients
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II