Dualities between alternative semantics for logic programming and nonmonotonic reasoning
semantics for logic programming with nonmonotonic modes of negation
scientific article; zbMATH DE number 484772