MIS: A multiplelevel logic optimization system (1987)

by R K Brayton, R Rudell, A Sangiovanni-Vincentelli, A R Wang
Venue:IEEE Transactions on CAD/ICAS