Equivalence Checking Using Independent Cuts. - Zhan Xu; Xiaolang Yan; Yongjiang Lu; Haitong Ge (Asian Test Symposium, 2003)