Antonis C. Kakas Belief Revision for Deductive Databases. 191-218 1990 DAISD db/conf/daisd/daisd90.html#Kakas90