TY  - RPRT
TI  - On the Termination of Linear and Affine Programs over the Integers
AU  - Rachid Rebiha
AU  - Arnaldo Vieira Moura
AU  - Nadir Matringe
PY  - 2014
UR  - https://arxiv.org/abs/1409.4230
ID  - 1409.4230
ER  -