Negative Set Constraints with Equality

Witold Charatonik, Leszek Pacholski

Browse the full LICS paper archive.