1. Aubin, R., ?Some generalization heuristics in proofs by induction?. In Actes du Colloque Construction: Amelioration et verification de Programmes, Institut de recherche d'informatique et d'automatique, 1975.
2. Boyer, R. S. and Moore, J S., A Computational Logic, Academic Press, 1979, ACM monograph series.
3. Bundy, A. and Sterling, L. S., ?Meta-level inference: two application?, Journal of Automated Reasoning 4(1), 15?27 (1988). Also available from Edinburgh, Dept. of AI, as Research Paper No. 273.
4. Bundy, A., ?The use of explicit plans to guide inductive proofs?. In 9th Conference on Automated Deduction, pages 111?120, Springer-Verlag, 1988. Longer version available as DAI Research Paper No. 349.
5. Bundy, A., van Harmelen, F., Hesketh, J., Smaill, A. and Stevens, A., ?A Rational Reconstruction and Extension of Recursion Analysis?, Proc. of IJCAI-89 (Sridharan, ed.), Morgan Kaufmann, 1989, 359?365.