Incremental DFA minimisationMarco Almeida, Nelma Moreira and Rogério ReisRAIRO-Theor. Inf. Appl., 48 2 (2014) 173-186DOI: https://doi.org/10.1051/ita/2013045