@Article{Routley:79,
  author = 	 "R. Routley",
  title = 	 "Repairing Proofs of {A}rrow's {G}eneral {I}mpossibility {T}heorem
                  and Enlarging the Scope of the Theorem",
  journal = 	 "Notre Dame Journal of Formal Logic",
  year = 	 1979,
  volume =	 "XX",
  number =	 4,
}

@Book{Sen:70a,
	Author = {Amartya Sen},
	Publisher = {Holden Day},
	Title = {Collective Choice and Social Welfare},
	Year = 1970
}

@Book{Taylor:2005,
  author =	 "A. D. Taylor",
  title = 	 "Social Choice and the Mathematics of Manipulation",
  publisher = 	 "Cambridge University Press",
  year = 	 2005,
  series =	 "Outlooks"
}

@Book{AnalyseKritik:1996,
  key = "AK",
  title = 	 "Analyse \& Kritik",
  year = 	 1996,
  url = "http://www.analyse-und-kritik.net/1996-1/abstracts.htm",
  volume =	 "18(1)",
}

@Article{GoodinList:2006,
  author = 	 "R. E. Goodin and C. List",
  title = 	 "A Conditional Defense of Plurality Rule: Generalizing {M}ay's {T}heorem in a
                  Restricted Informational Environment",
  journal = 	 "American Journal of Political Science",
  year = 	 2006,
  volume =	 50,
  number =	 4
}

@Article{May:1952,
  author = 	 "K. O. May",
  title = 	 "A set of independent, necessary and sufficient conditions for simple majority
                  decision",
  journal = 	 "Econometrica",
  year = 	 1952,
  volume =	 20,
  number =	 4
}

@Article{May:1953,
  author = 	 "K. O. May",
  title = 	 "A Note on the Complete Independence of the Conditions for Simple Majority Decision",
  journal = 	 "Econometrica",
  year = 	 1953,
  volume =	 21,
  number =	 1
}

@Book{Arrow:1963,
  author =	 "K. J. Arrow",
  title = 	 "Social Choice and Individual Values",
  publisher = 	 "John Wiley and Sons",
  year = 	 1963,
  edition =	 "Second"
}

@Article{Nipkow:2008,
  author  = {Tobias Nipkow},
  title   = {Arrow and Gibbard-Satterthwaite},
  journal = {Archive of Formal Proofs},
  month   = sep,
  year    = 2008,
  note    = {\url{http://isa-afp.org/entries/ArrowImpossibilityGS.shtml},
            Formal proof development},
  ISSN    = {2150-914x}
}
