@article{DBLP:journals/ai/CalimeriGMR16, author = {Calimeri, Francesco and Gebser, Martin and Maratea, Marco and Ricca, Francesco}, title = {Design and results of the Fifth Answer Set Programming Competition}, journal = {Artif. Intell.}, volume = {231}, pages = {151--181}, year = {2016} }