Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Hajnal Andréka, Johan van Benthem, and István Nemeti. Modal languages and bounded fragments of predicate logic. Research Report ML-96-03, ILLC, 1996.
2. Ch. Bourely, R. Caferra, and N. Peltier. A method for building models automatically. Experiments with an extension of Otter. In Proceedings of CADE-12, pages 72–86. Springer, 1994. LNAI 814.
3. Michael Dierkes. Model building for guarded horn clauses. Research report, LEIBNIZ-IMAG Laboratory, 1999. Available via http://www-leibniz.imag.fr/ATINF/Michael.Dierkes/articles/mbghc.ps.gz .
4. C.G. Fermüller and A. Leitsch. Decision procedures and model building in equational clause logic. Journal of the IGPL, 6(1):17–41, 1998.
5. Christian Fermüller and A. Leitsch. Hyperresolution and automated model building. Journal of Logic and Computation, 6(2):173–203, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献