Static logic implication with application to redundancy identification. - Jian-Kun Zhao; Elizabeth M. Rudnick; Janak H. Patel (VTS, 1997)

A Graph Traversal Based Framework For Sequential Logic Implication With An Application To C-Cycle Redundancy Identification. - Jian-Kun Zhao; Jeffrey A. Newquist; Janak H. Patel (VLSI Design, 2001)