TY  - THES
DP  - 
		http://www.theses.fr/1992PA112103
TI  - Elements pour la decidabilite de l'unification modulo la distributivite
AU  - Contejean, Evelyne
A3  - Jouannaud, Jean-Pierre
PY  - 1992
N1  - Thèse de doctorat Sciences appliquées Paris 11 1992
N1  - 1992PA112103
ER  -