"A New Approach to Universal Unification and Its Application to AC-Unification."

Mark Franzen, Lawrence J. Henschen (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics