Negation as Failure for First-Order Queries

Shamim A. Naqvi. Negation as Failure for First-Order Queries. In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts. pages 114-122, ACM, 1986. [doi]

Abstract

Abstract is missing.