Set Constraints
Interconvertibility of a class of set constraints and context-free-language reachability
Set Constraints for Algebraic Datatype Inference
Solving Set Constraints using Monadic Class
More on set constraints:
- Set Constraints with Projections (are NEXPTIME complete), JACM 2010