Logic minimization algorithms for VLSI synthesis - Brayton, Robert K. (The Kluwer International Series in Engineering and Computing. VLSI, Computer Architecture and Digital Signal Pr / Kluwer Academic Publishers., 1984)