Raymond Reiter. On Formalizing Database Updates: Preliminary Report. In Alain Pirotte, Claude Delobel, Georg Gottlob, editors, Advances in Database Technology - EDBT 92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings. Volume 580 of Lecture Notes in Computer Science, pages 10-20, Springer, 1992. [doi]
Abstract is missing.