Decidability of systems of set constraints with negative constraints

Tarskian set constraints

Information and Computation

Generalized Definite Set Constraints

Constraints

Atomic Set Constraints with Projection

RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications

Set constraints with intersection

Information and Computation - Special issue: LICS'97

Parametric polymorphism for XML

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Tree Automata with Global Constraints

DLT '08 Proceedings of the 12th international conference on Developments in Language Theory

Parametric polymorphism for XML

ACM Transactions on Programming Languages and Systems (TOPLAS)

Set constraints with projections

Journal of the ACM (JACM)

Anti-patterns for rule-based languages

Journal of Symbolic Computation

Anti-pattern matching

ESOP'07 Proceedings of the 16th European conference on Programming

Solving language equations and disequations with applications to disunification in description logics and monadic set constraints

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning