1. R. Aubin. Some generalization heuristics in proofs by induction. In G. Huet and G. Kahn, editors, Actes du Colloque Construction: Amelioration et verification de Programmes. Institut de recherche d'informatique et d'automatique, 1975.
2. David Basin, Alan Bundy, and Toby Walsh. Difference Matching and Rippling. In preparation.
3. Karl Hans Bläsius and Jörg H. Siekmann. Partial unification for graph based equational reasoning. In 9th International Conference On Automated Deduction, pages 397–414, Argonne, Illinois, 1988. Springer-Verlag.
4. Robert S. Boyer and J. Strother Moore. A Computational Logic. Academic Press, 1979.
5. Robert S. Boyer and J. Strother Moore. A Computational Logic Handbook. Academic Press, 1988. Perspectives in Computing, Vol 23.