@inproceedings{GrandiEndrissLORI2009,
  author =        {Umberto Grandi and Ulle Endriss},
  title =         {First-Order Logic Formalisation of Arrow's Theorem},
  booktitle =     {Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI-2009)},
  series =        {LNAI},
  volume =        {5834},
  pages =         {133--146},
  publisher =     {Springer},
  month =         {October},
  year =          {2009},
  note =          {Also presented at DGL-2009}
}