APA (7th ed.) Citation

Ding, R., Sato, H., & Kurihara, M. (2012). Parallelization of Termination Checker of Term Rewriting Systems. Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I, 1, 736.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Ding, Rui, et al. "Parallelization of Termination Checker of Term Rewriting Systems." Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I, vol. 1, 2012, p. 736.