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