M. Mousazadeh, B. T. Ladani, and H. Zantema, “Liveness Verification in TRSs Using Tree Automata and Termination Analysis”, Comput. Inform., vol. 29, no. 3, pp. 407–426, Jan. 2012.