Wolfgang Kunz Premachandran R. Menon Multi-level logic optimization by implication analysis. 6-13 1994 conf/iccad/1994 ICCAD http://doi.acm.org/10.1145/191326.191336 db/conf/iccad/iccad1994.html#KunzM94