Hiroyuki Higuchi, Yusuke Matsunaga. Implicit prime compatible generation for minimizing incompletely specified finite state machines. In Isao Shirakawa, editor, Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995. ACM, 1995. [doi]
Abstract is missing.