David Cyrluk S. Rajan Natarajan Shankar Mandayam K. Srivas Effective Theorem Proving for Hardware Verification. 203-222 1994 conf/tpcd/1994 TPCD db/conf/tpcd/tpcd1994.html#CyrlukRSS94