Your search returned the following 3 documents:

3. Recursive Program Optimization Through Inductive Synthesis Proof Transformation
   Peter Madden, Alan Bundy, and Alan Smaill
   Journal of Automated Reasoning 22 (1): 65-115, 1999. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken
   
2. Experience with $FS_0$ as a Framework Theory
   Seán Matthews, Alan Smaill, and David A. Basin
   In: Logical Environments, 1993, 61-82. Note: Also available as Technical Report {MPI-I-92-214}
   
1. Experiments in Automating Hardware Verification using Inductive Proof Planning
   Francisco Cantu, Alan Bundy, Alan Smaill, and David A. Basin
   In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), Palo Alto, CA, USA, 1996, 94-108