Mousazadeh, M. et al. 2012. Liveness Verification in TRSs Using Tree Automata and Termination Analysis. Computing and Informatics. 29, 3 (Jan. 2012), 407–426.