A New Approach to Database Logic (1984)

by G Kuper, M Y Vardi
Venue:In Proceedings of the 3rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’84