Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema. Relative Undecidability in Term Rewriting: I. The Termination Hierarchy. Inf. Comput., 178(1):101-131, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.