k-server problems with bulk requests: an application to tool switching in manufacturing | Annals of Operations Research | DeepDyve