Tight complexity bounds for term matching problems

Optimal unification of bound simple set-terms

CIKM '96 Proceedings of the fifth international conference on Information and knowledge management

Computational Complexity of Simultaneous Elementary Matching Problems

Journal of Automated Reasoning

Algorithms and reductions for rewriting problems. II

Information Processing Letters

Complexity and Algorithms for the Matching of Bag and Set Terms

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence

Term indexing

Handbook of automated reasoning