Raymond Reiter On Specifying Database Updates (Invited Lecture). 219-253 1994 DAISD db/conf/daisd/daisd94.html#Reiter94