https://9dok.org/document/qo5g9kw5-max-plus-tree-automata-for-termination-term-rewriting.html