A New Approach to Database Logic.

conf/pods/84 Gabriel M. Kuper Moshe Y. Vardi A New Approach to Database Logic. 86-96 1984 PODS db/conf/pods/pods84.html#KuperV84 http://doi.acm.org/10.1145/588011.588026 db/conf/pods/KuperV84.html journals/anthology/cd1-3:PODS84/P086.PDF journals/anthology/dvd1:text/1-3/PODS84/P086.PDF journals/cacm/Codd70 journals/tods/Codd79 journals/tods/HammerM81 journals/jacm/HullY84 journals/jacm/Jacobs82 journals/cacm/SmithS77 ... books/cs/Ullman82 ...