Relative Undecidability in Term Rewriting.

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema

Browse the full CSL paper archive.