@article{DBLP:journals/corr/CalimeriGMR14,
  author = {Calimeri, Francesco and Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  title = {The Design of the Fifth Answer Set Programming Competition},
  journal = {CoRR},
  volume = {abs/1405.3710},
  year = {2014}
}