"The Third Answer Set Programming Competition: Preliminary Report of the ..."

Francesco Calimeri et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics