A new algorithm for the reduction of incompletely specified finite state machines. - Jorge M. Pena; Arlindo L. Oliveira (ICCAD, 1998)

A new algorithm for exact reduction of incompletely specified finite state machines. - Jorge M. Pena; Arlindo L. Oliveira (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)