Yasuhito Tanaka: The Gibbard–Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience), Applied Mathematics and Computation 193 2 (2007) 475–481 [doi:10.1016/j.amc.2007.04.001, pdf archived]