Wangning Long Yu-Liang Wu Jinian Bian IBAW: an implication-tree based alternative-wiring logic transformation algorithm. 415-422 2000 conf/aspdac/2000 ASP-DAC http://doi.acm.org/10.1145/368434.368720 db/conf/aspdac/aspdac2000.html#LongWB00