@MISC{ARROW.MIZ,
  AUTHOR = {Wiedijk, Freek},
  TITLE = {Arrow's Impossibility Theorem},
  SECTION1 = {Preliminaries},
  SECTION2 = {Linear preorders and linear orders},
  SECTION3 = {Arrow's theorem},
  DAY = {13},
  MONTH = {August},
  YEAR = {2007},
  ADDRESS1 = {Institute for Computing and Information Sciences \\
    Radboud University Nijmegen \\
    Toernooiveld 1, 6525 ED Nijmegen, The Netherlands},
  SUMMARY = {A formalization of the first proof from \cite{Geanakoplos:1996}.}}

@TECHREPORT{Geanakoplos:1996,
 AUTHOR={Geanakoplos, John},
 TITLE={Three Brief Proofs of Arrow's Impossibility Theorem},
 YEAR=1996,
 MONTH=Apr,
 INSTITUTION={Cowles Foundation, Yale University},
 TYPE={Cowles Foundation Discussion Papers},
 NOTE={available at http://ideas.repec.org/p/cwl/cwldpp/1123r3.html},
 URL={http://ideas.repec.org/p/cwl/cwldpp/1123r3.html},
 NUMBER={1123R3}}

