1. Bareil H., Zehren C. (1983) Mathématique 4ème. Hachette, Paris.
2. Bledsoe W.W . (1986) Some thoughts on proof discovery, in Proc. of I. E.E. symposium on Logic Programming. Salt Lake City, pp. 2–10.
3. Cauzinille-Marmeche E., Mathieu J., Weil-Barais A. (1985) Raisonnement Analogique et Résolution de Problèmes. L’Année Psychologique 1985, pp. 49 – 72.
4. Chouraqui E. (1982) Construction of a model for reasonning by analogy. Proceedings of E.C.A.I., Orsay, pp. 48–53.
5. Chouraqui E. (1986) Le raisonnement Analogique: Sa problématique, ses Applications, Journées Nationales sur IT.A., Aix-les-Bains, pp. 107–117.