About the Paterson-Wegman linear unification algorithm
scientific article; zbMATH DE number 4053068