DING, Rui; SATO, Haruhiko; KURIHARA, Masahito. Parallelization of Termination Checkers for Algebraic Software. Transactions on Engineering and Computing Sciences, [S. l.], v. 2, n. 4, p. 102–114, 2014. DOI: 10.14738/tmlai.24.368. Disponível em: https://scholarpublishing.org/journals/index.php/TECS/article/view/10962. Acesso em: 25 may. 2026.