José Alberto Fernández John Grant Jack Minker Model Theoretic Approach to View Updates in Deductive Databases. 171-197 1996 17 J. Autom. Reasoning 2 db/journals/jar/jar17.html#FernandezGM96