"Determining inference semantics for disjunctive logic programs."

Yi-Dong Shen, Thomas Eiter (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics