ByNobleID
    Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited | NobleID