Mousazadeh, M., Ladani, B. T., & Zantema, H. (2010). Liveness Verification in TRSs Using Tree Automata and Termination Analysis. Computing and Informatics, 29(3), 407–426. https://cai.type.sk/content/2010/3/liveness-verification-in-trss-using-tree-automata-and-termination-analysis/