Negation by default and nonstratifiable logic programs (1988)

by Nicole Bidoit, Christine Froidevaux
Venue:Internal report