Experiments in Automating Hardware Verification Using Inductive Proof Planning.

Francisco J. Cantu Alan Bundy Alan Smaill David A. Basin Experiments in Automating Hardware Verification Using Inductive Proof Planning. 94-108 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#CantuBSB96 http://dx.doi.org/10.1007/BFb0031802