@misc{indiciae4ac57ef6fffd,
  title = {Termination Analysis of Linear-Constraint Programs},
  author = {Amir M. Ben-Amram and Samir Genaim and Joël Ouaknine and James Worrell},
  year = {2026},
  doi = {10.1108/ftpgl-07-2025-0071},
  url = {https://arxiv.org/abs/2509.06752},
  note = {Source identifier: 2509.06752}
}