Classical negation in logic programs and disjunctive databases. (1991)

by M Gelfond, V Lifschitz
Venue:New Generation Comput.