Dov M. Gabbay Marek J. Sergot Negation as Inconsistency I. 1-35 1986 3 J. Log. Program. 1 db/journals/jlp/jlp3.html#GabbayS86