Gary D. Hachtel, June-Kyung Rho, Fabio Somenzi, Reily M. Jacoby. Exact and heuristic algorithms for the minimization of incompletely specified state machines. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 184-191, EEE Computer Society, 1991. [doi]
Abstract is missing.