@article{DBLP:journals/jair/GebserMR17,
  author = {Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  title = {The Sixth Answer Set Programming Competition},
  journal = {J. Artif. Intell. Res.},
  volume = {60},
  pages = {41--95},
  year = {2017}
}