MIS: A Multiple-Level Logic Optimization System1987-11-010 PRE AI DOI:10.1109/tcad.1987.1270347OriginalOriginal request for helpShareSaveAbstract En