@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} }