Average-case analysis of Robinson's unification algorithm with two different variables
scientific article; zbMATH DE number 4115963