Rui Ding, Haruhiko Sato, Masahito Kurihara. Parallelization of termination checker for term rewriting system. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012. pages 1824-1829, IEEE, 2012. [doi]
Abstract is missing.