WF : A semantics for negation in normal disjunctive logic programs (1991)

by C Baral, J Lobo, J Minker
Venue:In Proceedings of the Sixth International Symposium on Methodologies for Intelligent Systems