Cezar Câmpeanu Andrei Paun Jason R. Smith An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata. 90-103 2005 conf/wia/2005 CIAA http://dx.doi.org/10.1007/11605157_8 db/conf/wia/ciaa2005.html#CampeanuPS05