Union of Finitely Generated Congruences on Ground Term Algebra

Sándor Vágvölgyi

We show that for any ground term equation systems $E$ and $F$, (1) the union of the generated congruences by $E$ and $F$ is a congruence on the ground term algebra if and only if t…