"On the (In)Succinctness of Muller Automata."

Udi Boker (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics