Campbell, Donald E.; Graver, Jack; Kelly, Jerry S. - In: Mathematical Social Sciences 64 (2012) 3, pp. 263-265
With as few as eight individuals and five alternatives, there are 561, 304, 372, 286, 875, 579, 077, 983 strategy-proof social choice rules.
