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