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