Munehiro Iwami,  Persistence of Termination for Non-Overlapping Term Rewriting Systems.   journal   = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology.
    March 2007, vol. 3(3). 205 - 208
    [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/12721.