A New Theory for Testability-Preserving Optimization of Combinational Circuits. - Jiabi Zhu; Mostafa I. H. Abd-El-Barr; Carl McCrosky (VLSI Design, 1996)