//-->
Proving Arrow's theorem by PROLOG
Indo, Kenryo, (2007)
A unifying impossibility theorem
Man, Priscilla T. Y., (2013)
Interpreting Arrow'ss impossibility theorem
Usher, Dan, (2017)
Proving Arrow’s theorem by <Emphasis Type="SmallCaps">PROLOG
Proving Arrow’s theorem by PROLOG