Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca: The Answer Set Programming Competition. AI Mag. 33(4): 114-118 (2012)