SZS status Theorem for i/f/Omega_Automata/WHEN__AS__CO__BUECHI
