The discrimination theorem holds for combinatory weak reduction
scientific article; zbMATH DE number 3650524