McBOOLE: A New Procedure for Exact Logic Minimization.

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1986)