TY  - RPRT
TI  - Using Linear Constraints for Logic Program Termination Analysis
AU  - Marco Calautti
AU  - Sergio Greco
AU  - Cristian Molinaro
AU  - Irina Trubitsyna
PY  - 2015
DO  - 10.1017/s1471068416000077
UR  - https://arxiv.org/abs/1512.04097
ID  - 1512.04097
ER  -