@article{DBLP:journals/aicom/GebserKKOSS11,
  author = {Gebser, Martin and Kaufmann, Benjamin and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schneider, Marius Thomas},
  title = {Potassco: The Potsdam Answer Set Solving Collection},
  journal = {{AI} Commun.},
  volume = {24},
  number = {2},
  pages = {107--124},
  year = {2011}
}