TY  - RPRT
TI  - A proof theoretic study of abstract termination principles
AU  - Thomas Powell
PY  - 2019
UR  - https://arxiv.org/abs/1706.03577
ID  - 1706.03577
ER  -