Classical Negation in Logic Programs and Disjunctive Databases (1991)

by M Gelfond, V Lifschitz
Venue:New Generation Computing