Dominique Laurent Viet Phan Luong Nicolas Spyratos Updating Intensional Predicates in Deductive Databases. 14-21 ICDE93/P014.pdf 1993 ICDE db/conf/icde/icde93.html#LaurentLS93 conf/icde/93 db/conf/icde/LaurentLS93.html conf/icdt/Abiteboul88 conf/sigmod/AtzeniT90 journals/dke/AtzeniT92 ... journals/tcs/Bidoit91 journals/tcs/BidoitF91 conf/icdt/BidoitL90 books/sp/CeriGT90 conf/pods/FaginUV83 conf/pods/GrahneMR92 conf/icde/JensenS92 journals/tkde/LaurentS94 conf/icde/LaurentLS92 ... conf/vldb/LecluseS88 journals/ai/Reiter80 conf/edbt/Reiter92 conf/dood/TorloneA91 books/cs/Ullman88 journals/jacm/GelderRS91 journals/tods/Winslett88