"Logic programs with annotated disjunctions."

Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics