Koprowski, A., & Waldmann, J. (2009). Max/plus tree automata for termination of term rewriting. Acta Cybernetica, 19(2), 357-392. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3772