Experiments in Automating Hardware Verification using Inductive Proof Planning (1996)

by Francisco J. Cantu , Alan Bundy, Alan Smaill, David Basin