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