R. Ding, H. Sato, and M. Kurihara, “Parallelization of Termination Checkers for Algebraic Software”, TECS, vol. 2, no. 4, pp. 102–114, Aug. 2014.