@article{GeistEndrissJAIR2011,
  author =        {Christian Geist and Ulle Endriss},
  title =         {Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects},
  journal =       {Journal of Artificial Intelligence Research},
  volume =        {40},
  pages =         {143--174},
  year =          {2011}
}