Serge Abiteboul, Victor Vianu. Procedural and Declarative Database Update Languages. In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas. pages 240-250, ACM, 1988. [doi]
Abstract is missing.