Logic Minimization Algorithms for VLSI Synthesis (1984)

by R Brayton, G Hachtel, C McMullen, A Sangiovanni-Vincentelli