Efficient scheduling in redundancy systems with general service times
scientific article; zbMATH DE number 7887288