A rehabilitation of Robinson’s unification algorithm (1983)

by J Corbin, M Bidoit
Venue:Information Processing 83, Proceedings of the 9th World Computer Congress