Hans Zantema Termination of String Rewriting Proved Automatically. 105-139 2005 34 J. Autom. Reasoning 2 http://dx.doi.org/10.1007/s10817-005-6545-0 db/journals/jar/jar34.html#Zantema05