"MIS: A Multiple-Level Logic Optimizations System" IEEE Transactions on Computer-Aided Design Nov 1997