@article{DBLP:journals/ai/CalimeriGMR16,
  author = {Calimeri, Francesco and Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  title = {Design and results of the Fifth Answer Set Programming Competition},
  journal = {Artif. Intell.},
  volume = {231},
  pages = {151--181},
  year = {2016}
}