Sequential Redundancy Removal Using Test Generation and Multiple Unreachable States. - Hiroyuki Yotsuyanagi; Shinsuke Hata; Masaki Hashizume; Takeomi Tamesada (Asian Test Symposium, 2001)