Alfons Geser;Aart Middeldorp;Enno Ohlebusch;Hans Zantema
-;-;-;-
Relative undecidability in term rewriting: I. the termination Hierarchy
Information and Computation
Relative undecidability in term rewriting: II. the confluence hierarchy