Inclusion Constraints over Non-empty Sets of Trees

Simplifying subtyping constraints: a theory

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

Anti-pattern matching

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