The undercut procedure: an algorithm for the envy-free division of indivisible items · Study