Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi. Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Trans. on CAD of Integrated Circuits and Systems, 12(7):935-945, 1993. [doi]
Abstract is missing.