On Positive Occurrences of Negation as Failure.

Katsumi Inoue, Chiaki Sakama

Browse the full KR paper archive.