TY  - RPRT
TI  - Union of Finitely Generated Congruences on Ground Term Algebra
AU  - Sándor Vágvölgyi
PY  - 2025
UR  - https://arxiv.org/abs/2411.14559
ID  - 2411.14559
ER  -