DMCA
On the Termination of Linear and Affine Programs over the Integers (2014)
by
Rachid Rebiha
,
Arnaldo Vieira Moura
,
Nadir Matringe