Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, ch. 8, pp. 445–532. Elsevier and MIT Press (2001)
2. Lecture Notes in Computer Science;L. Bachmair,1995
3. Caferra, R., Zabel, N.: A method for simultaneous search for refutations and models by equational constraint solving. Journal of Symbolic Computation 13(6), 613–642 (1992)
4. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, New York (1977)
5. Colmerauer, A.: Equations and inequations on finite and infinite trees. In: FGCS, vol. 5, pp. 85–99 (1984)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. System Description: SPASS-FD;Lecture Notes in Computer Science;2011
2. Predicate Completion for non-Horn Clause Sets;Lecture Notes in Computer Science;2011