Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider. Potassco: The Potsdam Answer Set Solving Collection. AI Commun., 24(2):107-124, 2011. [doi]
@article{GebserKKOSS11,
title = {Potassco: The Potsdam Answer Set Solving Collection},
author = {Martin Gebser and Benjamin Kaufmann and Roland Kaminski and Max Ostrowski and Torsten Schaub and Marius Thomas Schneider},
year = {2011},
doi = {10.3233/AIC-2011-0491},
url = {http://dx.doi.org/10.3233/AIC-2011-0491},
researchr = {https://researchr.org/publication/GebserKKOSS11},
cites = {0},
citedby = {0},
journal = {AI Commun.},
volume = {24},
number = {2},
pages = {107-124},
}