@inproceedings{DBLP:conf/lpnmr/GebserMR15, title = {The Design of the Sixth Answer Set Programming Competition - - Report -}, author = {Gebser, Martin and Maratea, Marco and Ricca, Francesco}, booktitle = {{LPNMR}}, pages = {531--544}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9345}, year = {2015} }