Ding, Rui, Haruhiko Sato, and Masahito Kurihara. “Parallelization of Termination Checkers for Algebraic Software”. Transactions on Engineering and Computing Sciences 2, no. 4 (August 28, 2014): 102–114. Accessed December 7, 2025. https://www.journals.scholarpublishing.org/index.php/TMLAI/article/view/368.