TY  - RPRT
TI  - Automated Amortised Resource Analysis for Term Rewrite Systems
AU  - Georg Moser
AU  - Manuel Schneckenreither
PY  - 2018
UR  - https://arxiv.org/abs/1811.09071
ID  - 1811.09071
ER  -