@article{GebserMarateaRicca2020,
  author    = {Martin Gebser and Marco Maratea and Francesco Ricca},
  title     = {The Seventh Answer Set Programming Competition},
  journal   = {Theory and practice of logic programming},
  series    = {design and results},
  volume    = {20},
  number    = {2},
  pages     = {176 -- 204},
  doi       = {10.1017/S1471068419000061},
  year      = {2020},
}