"The Sixth Answer Set Programming Competition."

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