Classical Negation in Logic Programs and Disjunctive Databases (1991)

Cached

Download Links

by Michael Gelfond , Vladimir Lifschitz
Venue:New Generation Computing
Citations:850 - 74 self