Relative undecidability in term rewriting: II. the confluence hierarchy (0)

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