Raymond Reiter On Specifying Database Updates. 53-91 1995 25 J. Log. Program. 1 db/journals/jlp/jlp25.html#Reiter95