Lower bound methods for the size of nondeterministic finite automata revisitedTamm, Hellis; Merwe, Brink van derLanguage and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings2017 / p. 261-272 https://doi.org/10.1007/978-3-319-53733-7_19