Merkliste 
 1 Ergebnisse 
 
1

On the complexity of recursive path orderings:

Snyder, Wayne
Information Processing Letters.  46 (1993)  5 - p. 257-262 , 1993