Rajshekhar Sunderraman Deductive Databases with Conditional Facts. 162-175 1993 conf/bncod/1993 BNCOD db/conf/bncod/bncod93.html#Sunderraman93 http://dx.doi.org/10.1007/3-540-56921-9_10