@inproceedings{DBLP:conf/lpnmr/GebserMR17, title = {The Design of the Seventh Answer Set Programming Competition}, author = {Gebser, Martin and Maratea, Marco and Ricca, Francesco}, booktitle = {{LPNMR}}, pages = {3--9}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {10377}, year = {2017} }