@article{GebserKaufmannKaminskietal.2011,
  author    = {Martin Gebser and Benjamin Kaufmann and Roland Kaminski and Max Ostrowski and Torsten H. Schaub and Marius Schneider},
  title     = {Potassco the Potsdam answer set solving collection},
  journal   = {AI communications : AICOM ; the European journal on artificial intelligence},
  volume    = {24},
  number    = {2},
  pages     = {107 -- 124},
  doi       = {10.3233/AIC-2011-0491},
  year      = {2011},
}