Author:
Manthey Rainer,Bry François
Reference15 articles.
1. Bry, F. et. al., A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, ECRC Techn. Rep. KB-16, 1987 (to appear in Proc. Int. Conf. Extending Database Technology EDBT 88)
2. Butler, R. et al., Paths to High-Performance Automated Theorem Proving, Proc. 8th CADE 1986, Oxford, 1986, 588–597
3. Lusk, E. and Overbeek, R., Non-Horn problems, Journal of Automated Reasoning 1 (1985), 103–114
4. Manthey, R. and Bry, F., A hyperresolution-based proof procedure and its implementation in PROLOG, Proc. of GWAI-87 (11th German Workshop on Artificial Intelligence), Geseke, 1987, 221–230
5. McCune, B., A Proof of a Non-Obvious Theorem, AAR Newsletter No. 7, 1986, 5
Cited by
164 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献