DING, R.; SATO, H.; KURIHARA, M. 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://journals.scholarpublishing.org/index.php/TMLAI/article/view/368. Acesso em: 5 may. 2024.