Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Checking Termination of Logic Programs with Function Symbols through Linear Constraints. In Antonis Bikakis, Paul Fodor, Dumitru Roman, editors, Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings. Volume 8620 of Lecture Notes in Computer Science, pages 97-111, Springer, 2014.
Abstract is missing.