The Muller–Satterthwaite Theorem (J Econ Theory 14:412–418, <CitationRef CitationID="CR13">1977</CitationRef>) establishes the equivalence between Maskin monotonicity and strategy-proofness, two cornerstone conditions for the decentralization of social choice rules. We consider a general model that covers public goods economies as in...</citationref>

Indivisible units are randomly allocated among agents with a claim/demand on the resources. The available resources fall short of the sum of individual claims.  The proportional method distributes units sequentially, and the probability of receiving a unit at any step is proportional to the...