Negation in disjunctive logic programs - Sakama, Chiaki; Inoue, Katsumi (1992)