Thom W. Frühwirth. Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. In José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, editors, Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Volume 9718 of Lecture Notes in Computer Science, pages 208-222, Springer, 2016. [doi]
Abstract is missing.