Shamin Naqvi
-
Negation as failure for first-order queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)