TY  - RPRT
TI  - Congruence Closure Modulo Groups
AU  - Dohan Kim
PY  - 2025
DO  - 10.46298/lmcs-21(1:20)2025
UR  - https://arxiv.org/abs/2310.05014
ID  - 2310.05014
ER  -