A Fault-Independent Transitive Closure Algorithm for Redundancy Identification. - Vishal J. Mehta; Kunal K. Dave; Vishwani D. Agrawal; Michael L. Bushnell (VLSI Design, 2003)

Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies. - Kunal K. Dave; Vishwani D. Agrawal; Michael L. Bushnell (VLSI Design, 2005)