Multi-Level Logic Minimization Based on Multi-Signal Implications. - Masayuki Yuguchi; Yuichi Nakamura 002; Kazutoshi Wakabayashi; Tomoyuki Fujita (DAC, 1995)