A Complete Gentzen-Style Axiomatization for Set Constraints.

Allan Cheng, Dexter Kozen

Browse the full ICALP paper archive.