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

by Robert K Brayton