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