Author:
Abdennadher Slim,Schütz Heribert
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. F. Bry and R. Manthey. Checking consistency of database constraints: A logical basis. In 12th Int. Conf. on Very Large Data Bases (VLDB), Kyoto, Japan, 1986.
2. F. Bry and A. Yahya. Minimal model generation with positive unit hyper-resolution tableaux. In 5th Workshop on Theorem Proving with Tableaux and Related Methods, Springer LNAI, 1996.
3. F. Bry. Proving finite satisfiability of deductive databases. In Proc. of the Conference Logic and Computer Science, Karlsruhe, Germany, 1987. Springer-Verlag.
4. R. Caferra and N. Peltier. Model building and interactive theory discovery. In 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods 95, Springer LNAI 918, pages 154–168, 1995.
5. R. Caferra and N. Zabel. Extending resolution for model construction. In Logics in AL European Workshop JELIA '90, Springer LNAI 478, pages 153–169, 1991.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献