@article{DBLP:journals/tplp/GebserMR20, title = {The Seventh Answer Set Programming Competition: Design and Results}, author = {Gebser, Martin and Maratea, Marco and Ricca, Francesco}, journal = {Theory Pract. Log. Program.}, number = {2}, pages = {176--204}, volume = {20}, year = {2020} }