Relative undecidability in term rewriting part i: The termination hierarchy (0)

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