Decidable call-by-need computations in term rewriting
scientific article; zbMATH DE number 2136298