1. A. Aiken, D. Kozen, and E. Wimmers. Decidability of systems of set constraints with negative constraints. Technical Report 93-1362, Computer Science Department, Cornell University, 1993.
2. A. Aiken and E. Wimmers. Solving systems of set constraints. In Proceedings of the Seventh Symposium on Logic in Computer Science, pages 329–340, Santa Cruz, CA, June 1992. IEEE.
3. F. Baader. Rewrite systems for varieties of semigroups. In M. Stickel, editor, Proceedings of the Tenth International Conference on Automated Deduction (Kaiserslautern, West Germany), volume 449 of Lecture Notes in Computer Science, pages 381–395, Berlin, July 1990. Springer-Verlag.
4. F. Baader and K. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In D. Kapur, editor, Proceedings of the Eleventh International Conference on Automated Deduction (Saratoga Springs, NY), volume 607 of Lecture Notes in Artificial Intelligence, Berlin, June 1992. Springer-Verlag.
5. F. Baader and K. Schulz. Combination techniques and decision problems for disunification. In C. Kirchner, editor, Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (Montreal, Canada), volume 690 of Lecture Notes in Computer Science, Berlin, 1993. Springer-Verlag.