Bidding for envy-freeness: A procedural approach to n-player fair-division problems · Study