1. R.S. Boyer and J.S. Moore. A Computational Logic. Academic Press, 1979. ACM monograph series.
2. A. Bundy and B. Welham. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Artificial Intelligence, 16(2):189–212, 1981. Also available as DAI Research Paper 121.
3. A. Bundy. The derivation of tactic specifications. Blue Book Note 356, Department of Artificial Intelligence, March 1987.
4. R.L. Constable, S.F. Allen, H.M. Bromley, et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, 1986.
5. R.V. Desimone. Learning control knowledge within an explanation-based learning framework. In I. Bratko and N. Lavrač, editors, Progress in Machine Learning — Proceedings of 2nd European Working Session on Learning, EWSL-87, Bled, Yugoslavia, Sigma Press, May 1987. Also available as DAI Research Paper 321.