Ding R, Sato H, Kurihara M. Parallelization of Termination Checkers for Algebraic Software. TECS [Internet]. 2014Aug.28 [cited 2024Dec.4];2(4):102-14. Available from: http://804474.wannyin.cyou/index.php/TMLAI/article/view/368