Negation as stable hypotheses, in: A.Nerode, W.Marek, and V.S.Subrahmanian (Eds (1991)

by T Kakas, P Mancarella
Venue:Proc. of the first Intl. Workshop on Logic Programming and nonmonotonic reasoning