@article{GebserMarateaRicca2017,
  author    = {Martin Gebser and Marco Maratea and Francesco Ricca},
  title     = {The sixth answer set programming competition},
  journal   = {Journal of artificial intelligence research : JAIR},
  volume    = {60},
  pages     = {41 -- 95},
  doi       = {10.1613/jair.5373},
  year      = {2017},
}