Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference26 articles.
1. Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, Chapt. 8, pp. 445–532. Elsevier, Amsterdam (2001)
2. Baumgartner, P., Furbach, U., Niemelä, I.: Hyper-tableaux. In: Logics in AI, JELIA'96. Springer, Berlin Heidelberg New York (1996)
3. Bry, F., Yahya, A.: Positive unit hyperresolution. J. Autom. Reason. 25(1), 35–82 (2000)
4. De Schreye, D., Decorte, D.: Termination of logic programs: The neverending story. J. Log. Program. 19, 199–260 (1993)
5. Fermüller, C., Leitsch, A.: Hyperresolution and automated model building. J. Log. Comput. 6(2), 173–203 (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献