Preface
Mechanically Proving Termination Using Polynomial Interpretations
Termination Proofs for String Rewriting Systems via Inverse Match-Bounds
Ordinal Arithmetic