TY  - RPRT
TI  - Ranking Functions for Linear-Constraint Loops
AU  - Amir M. Ben-Amram
AU  - Samir Genaim
PY  - 2025
DO  - 10.1145/2629488
UR  - https://arxiv.org/abs/1208.4041
ID  - 1208.4041
ER  -