Hiroyuki Higuchi, Yusuke Matsunaga: Implicit prime compatible generation for minimizing incompletely specified finite state machines. ASP-DAC 1995