On ground-confluence of term rewriting systems
scientific article; zbMATH DE number 4147489
scientific article