"What's Hot in the Answer Set Programming Competition."

Martin Gebser, Marco Maratea, Francesco Ricca (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics