Iosif, R. and Rogalewicz, A. 2013. Automata-Based Termination Proofs. COMPUTING AND INFORMATICS. 32, 4 (Nov. 2013), 739–775.