1. Checking termination of bottom-up evaluation of logic programs with function symbols*. Issue 6 (November 2015) Authors: CALAUTTI, MARCO; GRECO, SERGIO; SPEZZANO, FRANCESCA; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 854 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Using linear constraints for logic program termination analysis. Issue 3 (31st March 2016) Authors: CALAUTTI, MARCO; GRECO, SERGIO; MOLINARO, CRISTIAN; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗