Faster linear unification algorithm
scientific article; zbMATH DE number 7632093