Rajshekhar Sunderraman: Deductive Databases with Conditional Facts. BNCOD 1993: 162-175