Average-case analysis of Robinson's unification algorithm with two different variables | Publicación