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.