Yunjian Jiang, Robert K. Brayton. Don't cares in logic minimization of extended finite state machines. In Hiroto Yasuura, editor, Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003. pages 809-815, ACM, 2003. [doi]
Abstract is missing.