Luc Albert Rafael Casas François Fages Average-Case Analysis of Unification Algorithms. 3-34 1993 113 Theor. Comput. Sci. 1 db/journals/tcs/tcs113.html#AlbertCF93