A Survey of Ordinal Interpretations of Type epsilon<sub>0</sub>for Termination of Rewriting Systems.

Bernard R. Hodgson Clement F. Kent A Survey of Ordinal Interpretations of Type epsilon<sub>0</sub>for Termination of Rewriting Systems. 137-142 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#HodgsonK90