Degrees of Undecidability in Term Rewriting.

Jrg Endrullis, Herman Geuvers, Hans Zantema

Browse the full CSL paper archive.