Philippe Balbiani A modal semantics of negation in logic programming. 231-262 1992 16 Fundam. Inform. 3-4 db/journals/fuin/fuin16.html#Balbiani92