et al., “Logic Minimization Algorithms for VLSI Synthesis (1984)

by R K Brayton