1. Equivalence of regular languages: an algorithmic approach and complexity analysis;Almeida,2010
2. Partial derivatives of regular expressions and finite automaton constructions;Antimirov;Theor. Comput. Sci.,1996
3. Tools for discovery, refinement and generalization of functional properties by enumerative testing;Braquehais,2017
4. Derivatives of regular expressions;Brzozowski;J. ACM,1964
5. Efficient reduction of nondeterministic automata with application to language inclusion testing;Clemente;Log. Methods Comput. Sci.,2019