Knowledge-based optimal IIL generator from conventional logic circuit descriptions. - T. Watanabe; T. Masuishi; T. Nishiyama; N. Horie (DAC, 1986)