On the sequential nature of unification
Journal of Logic Programming
Unification in the data structure sets
Proc. of the 8th international conference on Automated deduction
NP-completeness of the set unification and matching problems
Proc. of the 8th international conference on Automated deduction
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Unification in commutative idempotent monoids
Theoretical Computer Science
Foundations of deductive databases and logic programming
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Journal of Symbolic Computation
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Journal of Computer and System Sciences
The expressiveness of a family of finite set languages
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Set constructors in a logic database language
Journal of Logic Programming
Compilation of set terms in the logic data language (LDL)
Journal of Logic Programming
Implementation of subset-equational programs
Journal of Logic Programming
Tight complexity bounds for term matching problems
Information and Computation
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Set-Term Matching in Logic Programming
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Adventures in Associative-Commutative Unification (A Summary)
Proceedings of the 9th International Conference on Automated Deduction
Complexity and Algorithms for the Matching of Bag and Set Terms
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Theory and Practice of Logic Programming
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Programming with partially specified aggregates in Java
Computer Languages, Systems and Structures
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Hi-index | 0.00 |