TY  - RPRT
TI  - Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
AU  - Keisuke Nakano
AU  - Munehiro Iwami
PY  - 2024
UR  - https://arxiv.org/abs/2406.14305
ID  - 2406.14305
ER  -