Static logic implication with application to redundancy identification.

Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel

Browse the full VTS paper archive.