@inproceedings{DBLP:conf/aaai/GebserMR16,
  title = {What's Hot in the Answer Set Programming Competition},
  author = {Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  booktitle = {{AAAI}},
  pages = {4327--4329},
  publisher = {{AAAI} Press},
  year = {2016}
}