Zhan Xu Xiaolang Yan Yongjiang Lu Haitong Ge Equivalence Checking Using Independent Cuts. 482-487 2003 conf/ats/2003 Asian Test Symposium http://csdl.computer.org/comp/proceedings/ats/2003/1951/00/19510482abs.htm db/conf/ats/ats2003.html#XuYLG03