Ding, R., H. Sato, and M. Kurihara. “Parallelization of Termination Checkers for Algebraic Software”. Transactions on Engineering and Computing Sciences, vol. 2, no. 4, Aug. 2014, pp. 102-14, doi:10.14738/tmlai.24.368.