An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata. - Cezar Câmpeanu; Andrei Paun; Jason R. Smith 002 (CIAA, 2005)

Tight Bounds for the State Complexity of Deterministic Cover Automata. - Cezar Câmpeanu; Andrei Paun; Jason R. Smith 002 (DCFS, 2006)

Incremental construction of minimal deterministic finite cover automata. - Cezar Câmpeanu; Andrei Paun; Jason R. Smith 002 (Theor. Comput. Sci., 2006)