Set Constraints with Intersection.

Witold Charatonik, Andreas Podelski

Browse the full LICS paper archive.