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