ByNobleID
    Typeness for omega-Regular Automata. | NobleID