1. S. Abramsky. The lazy lambda calculus. In D. Turner, editor, Research Topics in Functional Programming, pages 65–117. Addison Wesley, 1990.
2. D. Basin and T. Walsh. Difference matching. In Deepak Kapur, editor, 11th Conference on Automated Deduction, pages 295–309, Saratoga Springs, NY, USA, June 1992. Published as Springer Lecture Notes in Artificial Intelligence, No 607.
3. Richard S. Bird and Philip Wadler. Introduction to Functional Programming. Prentice-Hall, 1988.
4. A. Bouhoula and M. Rusinowitch. Automatic case analysis in proof by induction. In Proceedings of the 13th IJCAI. International Joint Conference on Artificial Intelligence, 1993.
5. Alan Bundy. The use of explicit plans to guide inductive proofs. Research Paper 349, Dept. of Artificial Intelligence, University of Edinburgh, 1988. Short version published in the proceedings of CADE-9.