The following publications are possibly variants of this publication:
- Relative Undecidability in Term Rewriting: II. The Confluence HierarchyAlfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema. iandc, 178(1):132-148, 2002. [doi]
- Relative Undecidability in the Termination Hierarchy of Single Rewrite RulesAlfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema. tapsoft 1997: 237-248
- Total Termination of Term Rewriting is UndecidableHans Zantema. JSC, 20(1):43-60, 1995.
- The Termination Hierarchy for Term RewritingHans Zantema. aaecc, 12(1/2):3-19, 2001. [doi]
- Relative Undecidability in Term RewritingAlfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema. csl 1997: 150-166
- Omega-Termination is Undecidable for Totally Terminating Term Rewriting SystemsAlfons Geser. JSC, 23(4):399-411, 1997.
- Total Termination of Term RewritingMaria C. F. Ferreira, Hans Zantema. aaecc, 7(2):133-162, 1996. [doi]
- Termination of Term Rewriting by InterpretationHans Zantema. ctrs 1993: 155-167
- Total Termination of Term RewritingMaria C. F. Ferreira, Hans Zantema. RTA 1993: 213-227
- Termination of Term Rewriting by Semantic LabellingHans Zantema. FUIN, 24(1/2):89-105, 1995.