1. The complexity of set constraints;Aiken,1993
2. Decidability of systems of set constraints with negative constraints;Aiken;Inform. and Comput.,1995
3. Implementing regular tree expressions;Aiken,1991
4. Solving systems of set constraints;Aiken,1992
5. Set constraints are the monadic class;Bachmair,1993