Equational Unification, subterm-collapse, term rewriting, Term Rewriting Systems, unification modulo convergent term rewrite systems.
