Relative undecidability in term rewriting part ii: The confluence hierarchy (0)

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