Gang Chen, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski: New Procedures to Identify Redundant Stuck-At Faults and Removal of Redundant Logic. VLSI Design 2006: 419-424