Mechanically Proving Termination Using Polynomial Interpretations Evelyne ContejeanClaude MarchéXavier Urbain OriginalPaper 05 July 2006 Pages: 325 - 363
Termination Proofs for String Rewriting Systems via Inverse Match-Bounds Alfons GeserDieter HofbauerJohannes Waldmann OriginalPaper 27 January 2006 Pages: 365 - 385
Ordinal Arithmetic: Algorithms and Mechanization Panagiotis ManoliosDaron Vroon OriginalPaper 23 June 2006 Pages: 387 - 423