"Disjunctive logic programs with existential quantification in rule heads."

Jia-Huai You, Heng Zhang, Yan Zhang (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics