Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Checking Termination of Datalog with Function Symbols Through Linear Constraints. In Domenico Lembo, Riccardo Torlone, Andrea Marrella, editors, 23rd Italian Symposium on Advanced Database Systems, SEBD 2015, Gaeta, Italy, June 14-17, 2015. pages 192-199, Curran Associates, Inc., 2015.