Levels of undecidability in rewriting
scientific article; zbMATH DE number 5853780
scientific article