TY  - RPRT
TI  - Termination Analysis of Linear-Constraint Programs
AU  - Amir M. Ben-Amram
AU  - Samir Genaim
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2026
DO  - 10.1108/ftpgl-07-2025-0071
UR  - https://arxiv.org/abs/2509.06752
ID  - 2509.06752
ER  -