"An Entailment Procedure for Kleene Answer Set Programs."

Patrick Doherty, Andrzej Szalas (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics