Computing Unification Algorithms