The Unification Problem for Confluent Right-Ground Term Rewriting Systems