Title: Termination Proofs for String Rewriting Systems Via Inverse Match-Bounds