Checking Termination of Logic Programs with Function Symbols through Linear Constraints.

Marco Calautti Sergio Greco Cristian Molinaro Irina Trubitsyna Checking Termination of Logic Programs with Function Symbols through Linear Constraints. 97-111 2014 RuleML https://doi.org/10.1007/978-3-319-09870-8_7 https://www.wikidata.org/entity/Q62047397 conf/ruleml/2014 db/conf/ruleml/ruleml2014.html#CalauttiGMT14