Ding, Rui, Haruhiko Sato, and Masahito Kurihara. 2014. “Parallelization of Termination Checkers for Algebraic Software”. Transactions on Engineering and Computing Sciences 2 (4):102-14. https://doi.org/10.14738/tmlai.24.368.