Iosif, R., & Rogalewicz, A. (2013). Automata-Based Termination Proofs. Computing and Informatics, 32(4), 739–775. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/1970