1. Termination proofs in fragments of arithmetic;Buchholz,1993
2. A uniform approach to fundamental sequences and hierarchies;Buchholz;Math. Logic Quarterly,1994
3. Bounds on derivation lengths from termination proofs;Cichon,1990
4. Termination orderings and complexity characterizations;Cichon,1992
5. Rewrite systems;Dershowitz,1990