%A F. Fages
%T Formes canoniques dans les algebres booleennes,
et application a la demonstration automatique
%R These de 3eme cycle
%I Universite Paris
%D 1983

%A G. Huet
%T Resolution d'equations dans les langages d'ordre 1, 2, ..., omega
%R These de doctorat d'etat
%I Universite Paris
%D 1976