Calimeri, Francesco, Giovambattista Ianni, Thomas Krennwallner, and Francesco Ricca. 2012. “The Answer Set Programming Competition”. AI Magazine 33 (4):114. https://doi.org/10.1609/aimag.v33i4.2448.