Polynomial Interpretations and the Complexity of Algorithms. - Adam Cichon; Pierre Lescanne (CADE, 1992)

A Uniform Approach to Fundamental Sequences and Hierarchies. - Adam Cichon; Wilfried Buchholz; Andreas Weiermann (Math. Log. Q., 1994)

Complexity Classes and Rewrite Systems with Polynomial Interpretation. - Guillaume Bonfante; Adam Cichon; Jean-Yves Marion; Hélène Touzet (CSL, 1998)

Algorithms with polynomial interpretation termination proof. - Guillaume Bonfante; Adam Cichon; Jean-Yves Marion; Hélène Touzet (J. Funct. Program., 2001)