TY  - RPRT
TI  - Polynomial Path Orders: A Maximal Model
AU  - Martin Avanzini
AU  - Georg Moser
PY  - 2012
UR  - https://arxiv.org/abs/1209.3793
ID  - 1209.3793
ER  -