1. Adi, M., Kirchner, C., 1992. Associative commutative matching based on the syntacticity of the ac theory. In: Baader, F., Siekmann, J., Snyder, W. (Eds.), Proceedings 6th International Workshop on Unification, Dagstuhl, Germany. Dagstuhl seminar.
2. Decidability of systems of set constraints with negative constraints;Aiken;Information and Computation,1995
3. Solving systems of set constraints (extended abstract);Aiken,1992
4. A feature constraint system for logic programming with entailment;Aït-Kaci;Theoretical Computer Science,1994
5. On the expressivity of feature logics with negation, functional uncertainty, and sort equations;Baader;Journal of Logic, Language and Information,1993