A. N. Trahtman Optimal Estimation on the Order of Local Testability of Finite Automata. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:231, n:1, pp:59-74 [Journal]
Djelloul Ziadi Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:231, n:1, pp:75-87 [Journal]
Jean-Luc Ponty An Efficient Null-Free Procedure for Deciding Regular Language Membership. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:231, n:1, pp:89-101 [Journal]