Using linear constraints for logic program termination analysis. - CALAUTTI, MARCO; GRECO, SERGIO; MOLINARO, CRISTIAN; TRUBITSYNA, IRINA (Theory & Practice of Logic Programming, 2016)