Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana. Implication and Evaluation Techniques for Proving Fault Equivalence. In 17th IEEE VLSI Test Symposium (VTS 99), 25-30 April 1999, San Diego, CA, USA. pages 201-213, IEEE Computer Society, 1999. [doi]
Abstract is missing.