1. Automatic Program Construction Techniques,1984
2. The maude 2.0 system;Clavel,2003
3. Inductive synthesis of recursive logic programs: Achievements and prospects;Flener;Journal of Logic Programming,1999
4. Jouannaud, J.P. and Y. Kodratoff, Characterization of a class of functions synthesized from examples by a summers like method using a ‘B.M.W.’ matching technique, in: Proc. International Joint Conference on Artificial Intelligence (IJCAI-79) (1979), pp. 440–447
5. Kitzelmann, E., R. Olsson and U. Schmid, editors, “Proceedings of the ICML 2005 Workshop Approaches and Applications of Inductive Programming,” 2005