Relative undecidability in term rewriting. I: The termination hierarchy
scientific article; zbMATH DE number 1853285