Hans Zantema Termination of Term Rewriting by Interpretation. 155-167 1992 conf/ctrs/1992 CTRS db/conf/ctrs/ctrs92.html#Zantema92a