PP-2009-40: Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Arrow's Theorem 1.Full Text, 2.Abstract. < Back