M'ethodes et outils de conception syst'ematique d'algorithmes d'unification dans les th'eories 'equationnelles. Th`ese de doctorat d"etat en informatique, Universit'e de Nancy 1 (1985)

by Claude Kirchner