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