(1)
Calimeri, F.; Ianni, G.; Krennwallner, T.; Ricca, F. The Answer Set Programming Competition. AIMag 2012, 33, 114.