"An Incremental Answer Set Programming Based System for Finite ..."

Martin Gebser, Orkunt Sabuncu, Torsten Schaub (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics