Ding, R.; Sato, H.; Kurihara, M. Parallelization of Termination Checkers for Algebraic Software. TECS 2014, 2, 102-114.