Moser, Georg: Automated Amortised Resource Analysis for Term Rewrite Systems. . In: Functional and Logic Programming. 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 911, 2018, Proceedings, S.214229