TY  - RPRT
TI  - Proof Theory at Work: Complexity Analysis of Term Rewrite Systems
AU  - Georg Moser
PY  - 2009
UR  - https://arxiv.org/abs/0907.5527
ID  - 0907.5527
ER  -