"A Fast Algorithm for Uniform Semi-Unification."

Alberto Oliart, Wayne Snyder (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics