"Abstract Solvers for Computing Cautious Consequences of ASP programs."

Giovanni Amendola, Carmine Dodaro, Marco Maratea (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics