1. Proving termination with multiset orderings;Dershowitz;Comm. ACM,1979
2. On the uniform halting problem for term rewriting systems;Huet,1978
3. Simple word problems in universal algebras;Knuth,1969
4. Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture;Kruskal;Trans. AMS,1960
5. Canonical algebraic simplification in computational logic;Lankford,1975