TY  - RPRT
TI  - On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic
AU  - Ayuka Matsumi
AU  - Naoki Nishida
AU  - Misaki Kojima
AU  - Donghoon Shin
PY  - 2023
UR  - https://arxiv.org/abs/2307.14094
ID  - 2307.14094
ER  -