%A A. Colmerauer
%T Prolog II: reference manual and theoretical model
%R Internal report
%I Groupe Intelligence Artificielle, Universite Aix-Marseille
%D 1982

%A A. Colmerauer
%T Equations et inequations sur les arbres finis et infinis
%R Internal report
%I Groupe Intelligence Artificielle, Universite Aix-Marseille
%D 1984

%A P. Roussel
%T Definition et traitement de l'egalite formelle
en demonstration automatique
%R These de 3eme cycle
%I Groupe Intelligence Artificielle, Universite Aix-Marseille
%D 1972