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