Your search returned the following 5 documents:

5. Middle-out reasoning for synthesis and induction
   Ina Kraan, David A. Basin, and Alan Bundy
   Journal of Automated Reasoning 16 (1/2): 113-145, 1996
   
4. Middle-Out Reasoning for Synthesis and Induction
   Ina Kraan, David A. Basin, and Alan Bundy
   In: Automated mathematical induction, 1996, 113-145. Note: Reprinted from Journal of Automated Reasoning 16 (Nos. 1/2)
   
3. A Framework for Program Development Based on Schematic Proof
   David A. Basin, Alan Bundy, Ina Kraan, and Seán Matthews
   In: Proc. 7th Intern.~Workshop on Software Specification and Design, Redondo Beach, CA, 1993, 162-171. Note: Also available as Research Report MPI-I-93-231
   
2. Logic Program Synthesis via Proof Planning
   Ina Kraan, David A. Basin, and Alan Bundy
   In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), Manchester, UK, 1992, 1993, 1-14. Note: Also available as Research Report MPI-I-92-244
   
1. Middle-Out Reasoning for Logic Program Synthesis
   Ina Kraan, David A. Basin, and Alan Bundy
   In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), Budapest, Hungary, 1993, 441-455. Note: Also available as Research Report MPI-I-93-214