Theorem proving techniques for view deletion in databases

Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

First-order logic Davis-Putnam-Logemann-Loveland procedure

Exploring artificial intelligence in the new millennium

Curated databases

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

A transformation-based approach to view updating in stratifiable deductive databases

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems