Marco A. Casanova, Philip A. Bernstein. The Logic of a Relational Data Manipulation Language. In Barry K. Rosen, Alfred V. Aho, Stephen N. Zilles , editors, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language. pages 101-109, ACM, 1979. [doi]
Abstract is missing.