R. Iris Bahar M. Burns Gary D. Hachtel Enrico Macii H. Shin Fabio Somenzi Symbolic computation of logic implications for technology-dependent low-power synthesis. 163-168 1996 conf/islped/1996 ISLPED http://doi.acm.org/10.1145/252493.252595 db/conf/islped/islped1996.html#BaharBHMSS96