Bharat Jayaraman Jana Devashis Set Constructors, Finite Sets, and Logical Semantics. 55-77 1999 38 J. Log. Program. 1 db/journals/jlp/jlp38.html#JayaramanD99