Svensson, L. Soc Choice Welfare (1994) 11: 323. doi:10.1007/BF00183301
A model with a finite number of indivisible goods (houses) and the same number of individuals is considered. The allocation of houses among the individuals according to a queue order is analysed. First an allocation mechanism is constructed where it is a dominant strategy for the individuals to truthfully report their preferences. Second it is demonstrated that in order to obtain the desired allocation, the individuals must not in general report their complete ranking of the houses, but only their maximal elements in recursively defined choice sets.
Financial support from Jan Wallander's Foundation for Research in the Social Sciences is gratefully acknowledged.