Jan Daciuk Denis Maurel Agata Savary Incremental and Semi-incremental Construction of Pseudo-Minimal Automata. 341-342 2005 conf/wia/2005 CIAA http://dx.doi.org/10.1007/11605157_29 db/conf/wia/ciaa2005.html#DaciukMS05