1. Baker, S.: A new application for explanation-based generalisation within automated reasoning. In: A. Bundy (ed.) 12th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Vol. 814, pp. 177–191. Springer-Verlag, Nancy, France (1994)
2. Baker, S., Ireland, A., Smaill, A.: On the use of the constructive omega rule within automated deduction. In: A. Voronkov (ed.) International Conference on Logic Programming and Automated Reasoning — LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624, pp. 214–225. Springer-Verlag (1992)
3. Basin, D.A., Walsh, T.: Difference unification. In: R. Bajcsy (ed.) Proc. 13th Intern. Joint Conference on Artificial Intelligence (IJCAI ’93), vol. 1, pp. 116–122. Morgan Kaufmann, San Mateo, CA (1993). Also available as Technical Report MPI-I-92-247, Max-Planck-Institut für Informatik
4. Besold, T.R., Schorlemmer, M., Smaill, A. (eds.): Computational Creativity Research: Towards Creative Machines, Atlantis Thinking Machines, vol. 7. Atlantis Press (2015)
5. Bou, F., Schorlemmer, M., Corneli, J., Gomez-Ramirez, D., Maclean, E., Smaill, A., Pease, A.: The role of blending in mathematical invention. In: Proceedings of the sixth international conference of computational creativity (2015)