Serge Abiteboul, Victor Vianu. A Transcation Language Complete for Database Update and Specification. In Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California. pages 260-268, ACM, 1987. [doi]
Abstract is missing.