Experiments in automating hardware verification using inductive proof planning (1996)

by F Cantu, A Bundy, A Smaill, D Basin
Venue:In FMCAD96, volume 1166 of LNCS