A. Koprowski and J. Waldmann, “Max/plus tree automata for termination of term rewriting”, Acta Cybern, vol. 19, no. 2, pp. 357-392, Jan. 2009.