Relative undecidability in term rewriting: I. the termination hierarchy (0)

by A Geser, M A, E Ohlebusch, H Zantema
Venue:Information and Computation