TY - RPRT TI - A Congruence-based Perspective on Automata Minimization Algorithms AU - Pierre Ganty AU - Elena GutiƩrrez AU - Pedro Valero PY - 2019 UR - https://arxiv.org/abs/1906.06194 ID - 1906.06194 ER -