The Independence Property of a Class of Set Constraints.

Witold Charatonik Andreas Podelski The Independence Property of a Class of Set Constraints. 76-90 1996 conf/cp/1996 CP db/conf/cp/cp96.html#CharatonikP96