Marianne Winslett. A Model-Theoretic Approach to Updating Logical Databases. In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts. pages 224-234, ACM, 1986. [doi]
Abstract is missing.