TY  - RPRT
TI  - Automated Strategy Invention for Confluence of Term Rewrite Systems
AU  - Liao Zhang
AU  - Fabian Mitterwallner
AU  - Jan Jakubuv
AU  - Cezary Kaliszyk
PY  - 2025
UR  - https://arxiv.org/abs/2411.06409
ID  - 2411.06409
ER  -