Koprowski, Adam, and Johannes Waldmann. 2009. “Max/Plus/Tree/Automata/for/Termination/of/Term/Rewriting”. Acta Cybernetica 19 (2):357-92. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3772.