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