Parallelization of Termination Checker of Term Rewriting Systems. - Ding, Rui; Sato, Haruhiko; Kurihara, Masahito (Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I, 2012)