1. BATTANI G. et MELONI H., Interpréteur du langage de programmation prolog, Rapport de DEA, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, September 1973.
2. BATTANI G. et MELONI H., Mise en oeuvre des contraintes phonologiques, syntaxiques et sémantiques dans un système de compréhension automatique de la parole, Thèse de 3ème cycle. Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, June 1975.
3. BERGMAN M. et KANOUI H., Sycophante: Système de calcul formel et d'intégration symbolique sur ordinateur, Rapport de recherche, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, October 1975.
4. COLMERAUER A., les systèmes-q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur, publication interne nℴ 43, Département d'Informatique, Université de MONTREAL, September 1970.
5. COLMERAUER A., DANSEREAU J., HARRIS B. et KITTREDGE, TAUM 71, Rapport annuel du projet de traduction automatique de l'Université de MONTREAL, Januar 1971.