Logic minimization algorithms for VLSI synthesis - Brayton, Robert K. (Kluwer Academic Publications, 1984)