Gebser, M.; Maratea, M.; Ricca, F. What’s Hot in the Answer Set Programming Competition. AAAI 2016, 30.