The Slow-Growing and the Grzecorczyk Hierarchies. - E. A. Cichon; Stanley S. Wainer (J. Symb. Log., 1983)

An Ordinal Calculus for Proving Termination in Term Rewriting. - E. A. Cichon; Hélène Touzet (CAAP, 1996)

Term Rewriting Theory for the Primitive Recursive Functions. - E. A. Cichon; Andreas Weiermann (Ann. Pure Appl. Log., 1997)

Ordinal Recursive Bounds for Higman's Theorem. - E. A. Cichon; Elias Tahhan-Bittar (Theor. Comput. Sci., 1998)

The Light Lexicographic path Ordering - E. A. Cichon; Jean-Yves Marion (CoRR, 2000)

Strictly orthogonal left linear rewrite systems and primitive recursion. - E. A. Cichon; Elias Tahhan-Bittar (Ann. Pure Appl. Log., 2001)