Alfons Geser Dieter Hofbauer Johannes Waldmann Termination Proofs for String Rewriting Systems via Inverse Match-Bounds. 365-385 2005 34 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-005-9024-8 db/journals/jar/jar34.html#GeserHW05