Raymond Reiter On Formalizing Database Updates: Preliminary Report. 10-20 EDBT92/P010.pdf conf/edbt/92 1992 EDBT db/conf/edbt/edbt92.html#Reiter92 http://dx.doi.org/10.1007/BFb0032420 ... conf/pods/FaginUV83 journals/ai/GinsbergS88 conf/kr/Grahne91 journals/ngc/GuessoumL90 journals/ngc/GuessoumL91 ... conf/kr/KatsunoM91 books/mk/minker88/ManchandraW88 ... ... books/mk/Minker88 journals/jlp/Reiter92 ... conf/daisd/Reiter94 ... conf/aaai/Winslett88