TY  - RPRT
TI  - Automated Reasoning in Social Choice Theory - Some Remarks
AU  - Siddharth Chatterjee
AU  - Arunava Sen
PY  - 2014
UR  - https://arxiv.org/abs/1403.3391
ID  - 1403.3391
ER  -