Allan Cheng Dexter Kozen A Complete Gentzen-Style Axiomatization for Set Constraints. 134-145 1996 conf/icalp/1996 ICALP db/conf/icalp/icalp96.html#ChengK96 http://dx.doi.org/10.1007/3-540-61440-0_123