Maria C. F. Ferreira Hans Zantema Well-foundedness of Term Orderings. 106-123 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#FerreiraZ94