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