Iosif, R., & Rogalewicz, A. (2013). Automata-Based Termination Proofs. Computing and Informatics, 32(4), 739–775. https://cai.type.sk/content/2013/4/automata-based-termination-proofs/