"Combining Closed World Assumptions with Stable Negation."

Carolina Ruiz, Jack Minker (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics