Iwami, M. (2007). 'Persistence of Termination for Non-Overlapping Term Rewriting Systems'. World Academy of Science, Engineering and Technology, Open Science Index 3, International Journal of Mathematical and Computational Sciences, 1(3), 205 - 208.