Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Bundy, Alan Programming Logics, MPI for Informatics, Max Planck Society;
Kraan, I., Basin, D. A., & Bundy, A. (1996). Middle-Out Reasoning for Synthesis and Induction. In H. Zhang (Ed.), Automated mathematical induction (pp. 113-145). Dordrecht, The Netherlands: Kluwer.