Witold Charatonik Andreas Podelski Set Constraints with Intersection. 213-229 2002 179 Inf. Comput. 2 http://dx.doi.org/10.1006/inco.2001.2952 db/journals/iandc/iandc179.html#CharatonikP02