Potassco: The Potsdam answer set solving collection. (2011)

by M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M T Schneider
Venue:AI Commun.,