Fangzhen Lin, Pingzhong Tang: Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. AAAI 2008: 114-119