Une charpente de semi-unification J.-L. Durieux; E. Saint-James — 1988 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications