Menicucci, Domenico - In: Review of Economic Design 5 (2000) 1, pp. 59-70
Myerson and Satterthwaite (1983) prove that if one seller and one buyer have independent private valuations for an indivisible object then no individually rational and incentive compatible trading mechanism can guarantee ex post efficiency when gains from trade are uncertain. Makowski and...