Potassco: The Potsdam Answer Set Solving Collection (2011)

by Martin Gebser, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Marius Schneider