June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby. Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 13(2):167-177, 1994. [doi]
Abstract is missing.