%A Robert K. Brayton
%A Gary D. Hachtel
%A Curtis T. McMullen
%A Alberto L. Sangiovanni-Vincentelli
%T Logic minimization algorithms for VLSI synthesis
%D 1984
%I Kluwer Academic Publishers
%C Boston
%P 193