Koprowski, A. and Waldmann, J. 2009. Max/plus tree automata for termination of term rewriting. Acta Cybernetica. 19, 2 (Jan. 2009), 357-392.