Polaris: Polarity propagation algorithm for combinational logic synthesis. - T. Shinsha; T. Kubo; M. Hikosaka; K. Akiyama; Koichiro Ishihara (DAC, 1984)

Incremental logic synthesis through gate logic structure identification. - T. Shinsha; T. Kubo; Y. Sakataya; J. Koshishita; Koichiro Ishihara (DAC, 1986)