Witold Charatonik, Andreas Podelski. Set Constraints with Intersection. In LICS. pages 362-372, 1997. [doi]
@inproceedings{CharatonikP97, title = {Set Constraints with Intersection}, author = {Witold Charatonik and Andreas Podelski}, year = {1997}, url = {http://www.computer.org/proceedings/lics/7925/79250362abs.htm}, tags = {constraints}, researchr = {https://researchr.org/publication/CharatonikP97}, cites = {0}, citedby = {0}, pages = {362-372}, booktitle = {LICS}, }