Hyper-minimizing minimized deterministic finite state automataAndrew Badr, Viliam Geffert and Ian ShipmanRAIRO-Theor. Inf. Appl., 43 1 (2009) 69-94DOI: https://doi.org/10.1051/ita:2007061
