Modular termination of \(r\)-consistent and left-linear term rewriting systems
scientific article; zbMATH DE number 985149
scientific article