C. Geist, Ulrich Endriss. Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects. J. Artif. Intell. Res. (JAIR), 40:143-174, 2011. [doi]
@article{GeistE11, title = {Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects}, author = {C. Geist and Ulrich Endriss}, year = {2011}, doi = {10.1613/jair.3126}, url = {http://dx.doi.org/10.1613/jair.3126}, tags = {C++, social, search}, researchr = {https://researchr.org/publication/GeistE11}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {40}, pages = {143-174}, }