A Fast Algorithm for Uniform Semi-Unification. - Alberto Oliart; Wayne Snyder (CADE, 1998)

Fast algorithms for uniform semi-unification. - Alberto Oliart; Wayne Snyder (J. Symb. Comput., 2004)