Weiling Li, Komal Khabya, Ming Fang, Rajshekhar Sunderraman: Handling Negation in General Deductive Databases: A Program Transformation Method. COMAD 2010: 39