WASET
Iwami, M. (2007). 'Persistence of Termination for Term Rewriting Systems with Ordered Sorts'. World Academy of Science, Engineering and Technology, Open Science Index 3, International Journal of Mathematical and Computational Sciences, 1(3), 200 - 204.