TY  - RPRT
TI  - Equational Theorem Proving for Clauses over Strings
AU  - Dohan Kim
PY  - 2023
DO  - 10.1017/s0960129524000112
UR  - https://arxiv.org/abs/2303.13257
ID  - 2303.13257
ER  -