Classical negation in logic programs and disjunctive databases (1991)

by Michael Gelfond, Vladimir Lifschitz
Venue:New Generation Computing