Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin. Experiments in Automating Hardware Verification Using Inductive Proof Planning. In Mandayam K. Srivas, Albert John Camilleri, editors, Formal Methods in Computer-Aided Design, First International Conference, FMCAD 96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Volume 1166 of Lecture Notes in Computer Science, pages 94-108, Springer, 1996.
Abstract is missing.