"Canonical Forms and Unification."

Jean-Marie Hullot (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics