On the Minimization Prolem for Omega-Automata.

Bertrand Le Sac, Igor Litovsky

Browse the full MFCS paper archive.