1. Robert S. Boyer and J Strother Moore. A Computational Logic. ACM Monograph Series. Academic Press, 1979.
2. Alan Bundy. A science of reasoning. In J-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 178–198. MIT press, 1991.
3. Alan Bundy, Andrew Stevens, Frank van Harmelen, Alan Smaill, and Andrew Ireland. Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence, 62(2):185–253, August 1993.
4. R. L. Constable, T. B. Knoblock, and J. L. Bates. Writing programs that construct proofs. Journal of Automated Reasoning, 1:285–326, 1985.
5. Stefan Gerberding and Axel Noltemeier. Choosing induction relations within the INKA system (extended abstract). In Proceedings of the 19th German Annual Conference on Artificial Intelligence, Bielefeld, Germany, pages 329–331, 1995.