About the Paterson-Wegman linear unification algorithm (1986)

by D de Champeaux
Venue:J. of Computer and System Sciences