reasoning with classical negation, in: A.Nerode, W.Marek, and V.S.Subrahmanian (Eds (1991)

by P M Dung, P Ruamviboonsuk, Well-founded
Venue:Proc. of the first Intl. Workshop on Logic Programming and Non-monotonic reasoning