An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.
J. Oetsch, J. Pührer, und H. Tompits. ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)