Hiroyuki Yotsuyanagi Seiji Kajihara Kozo Kinoshita Synthesis for Testability by Sequential Redundancy Removal Using Retiming. 33-40 1995 FTCS db/conf/ftcs/ftcs95.html#YotsuyanagiKK95