TY  - RPRT
TI  - Non-Ground Congruence Closure
AU  - Hendrik Leidinger
AU  - Christoph Weidenbach
PY  - 2025
UR  - https://arxiv.org/abs/2412.10066
ID  - 2412.10066
ER  -