TY  - RPRT
TI  - Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions
AU  - Naohi Eguchi
PY  - 2014
UR  - https://arxiv.org/abs/1308.0247
ID  - 1308.0247
ER  -