MINI: A Heuristic Approach for Logic Minimization. - Se June Hong; Robert G. Cain; Daniel L. Ostapko (IBM J. Res. Dev., 1974)