Set Constructors, Finite Sets, and Logical Semantics. - Bharat Jayaraman; Jana Devashis (J. Log. Program., 1999)