Handling Negation in General Deductive Databases: A Program Transformation Method.

Weiling Li, Komal Khabya, Ming Fang, Rajshekhar Sunderraman

Browse the full COMAD paper archive.