TY  - RPRT
TI  - Binary Non-Termination in Term Rewriting and Logic Programming
AU  - Étienne Payet
PY  - 2023
UR  - https://arxiv.org/abs/2307.11549
ID  - 2307.11549
ER  -