1. David W. Aha, Charles X. Ling, Stan Matwin, and Stephane Lapointe. Learning singly-recursive relations from small datasets. In F. Bergadano, Luc De Raedt, Stan Matwin, and S. Muggleton, editors, Proceedings of the IJCAI workshop on inductive logic programming, Chambéry, France, 1993.
2. Nachum Dershowitz and Jean-Pierre Jouannaud. Handbook of Theorical Computer Science, volume B, chapter Rewrite Systems, pages 243–320. MIT Press, 1990.
3. Jean Fargues. Une méthodologie pour la synthèse de programme: application à la synthèse à partir d'exemples. Thèse, Université Pierre et Marie Curie (Paris VI), June 1978.
4. Peter Idestam-Almquist. Recursive anti-unification. In Stephen Muggleton, editor, Proceedings of the third international workshop on Inductive Logic Programming, pages 241–253, Ljubljana, Slovenia, March 1993. J. Stefan Institute.
5. Jean-Pierre Jouannaud and Yves Kodratoff. Characterization of a class of functions synthesized from examples by a SUMMER'S like method using a BMW matching technique. In Proceedings of the 6th IJCAI, pages 440–447, 1979.