TY  - RPRT
TI  - A theory of function-induced-orders to study recursion termination
AU  - Abhinav Aggarwal
AU  - Padam Kumar
PY  - 2017
UR  - https://arxiv.org/abs/1310.1500
ID  - 1310.1500
ER  -