1. R. S. Boyer and J. S. Moore (1988): Integrating Decision Procedures into Heuristic Theorem Provers: A Case Study of Linear Arithmetic. In: J. E. Hayes, J. Richards, and D. Michie, eds.: Machine Intelligence 11, 83–124.
2. L. Hodes (1971): Solving Problems by Formula Manipulation. Proceedings of the Second IJCAI, The British Computer Society, 553–559.
3. A. Bundy (1988): The Use of Explicit Plans to Guide inductive Proofs. Proceedings of CADE-9, R. Lusk and R. Overbeek, eds. Lecture Notes in Computer Science 310, Springer-Verlag, 111–120. Longer version available from Edinburgh as Research Paper No. 349.
4. A. Bundy, F. van Harmelen, J. Hesketh, and A. Smaill (in press): Experiments with Proof Plans for Induction. Journal of Automated Reasoning Earlier version available from Edinburgh as Research Paper No. 413.
5. R.V. Desimone (1989): Learning Control Knowledge within an Explanation-Based Learning Framework. Ph. D. thesis, Dept. of Artificial Intelligence, University of Edinburgh.