iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ruleml/Fruhwirth16.xml
Thom W. Frühwirth Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. 208-222 2016 RuleML https://doi.org/10.1007/978-3-319-42019-6_14 conf/ruleml/2016 db/conf/ruleml/ruleml2016.html#Fruhwirth16