TY  - RPRT
TI  - Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints
AU  - Thom Fruehwirth
PY  - 2017
UR  - https://arxiv.org/abs/1701.02648
ID  - 1701.02648
ER  -