Kozen, D. (1992). Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem. DAIMI Report Series, 21(400). https://doi.org/10.7146/dpb.v21i400.6634