Ding, R., Sato, H., & Kurihara, M. (2014). Parallelization of Termination Checkers for Algebraic Software. Transactions on Engineering and Computing Sciences, 2(4), 102–114. https://doi.org/10.14738/tmlai.24.368