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