TY  - RPRT
TI  - A Unified Ordering for Termination Proving
AU  - Akihisa Yamada
AU  - Keiichirou Kusakari
AU  - Toshiki Sakabe
PY  - 2014
UR  - https://arxiv.org/abs/1404.6245
ID  - 1404.6245
ER  -