Author:
Dantsin Evgeny,Voronkov Andrei
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An efficient labelled nested multiset unification algorithm;Journal of Membrane Computing;2021-05-26
2. An Analysis of Permutations in Arrays;Lecture Notes in Computer Science;2010
3. Building Theorem Provers;Automated Deduction – CADE-22;2009
4. The RuleML Family of Web Rule Languages;Principles and Practice of Semantic Web Reasoning;2006
5. Complexity and Algorithms for the Matching of Bag and Set Terms;Logics in Artificial Intelligence;2002