Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi, {log}: A logic programming language with finite sets. In Proceedings of 8th International Conference on Logic Programming, pages 111–124. The MIT Press, June 1991.
2. P. Lincoln and J. Christian. Adventures in Associative-Commutative Unification. In Proceedings of 9th International Conference on Automated Deduction, pages 359–367, 1988.
3. S. J. Lim. Set-Term Unification in a Logic Database language. Master's thesis, Brigham Young University, December 1994.
4. J. L. Mott, A. Kandel, and T. P. Baker. Discrete Mathematics for Computer Scientists and Mathematicians. Prentice-Hall, New Jersey, 1986.
5. J. H. Siekmann. Unification Theory. Journal of Symbolic Computation, 7:207–274, 1989.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献