A Rehabilitation of Robinson's Unification Algorithm. - Jacques Corbin; Michel Bidoit (IFIP Congress, 1983)