Catriel Beeri Shamim A. Naqvi Oded Shmueli Shalom Tsur Set Constructors in a Logic Database Language. 181-232 1991 10 J. Log. Program. 1/2/3&4 db/journals/jlp/jlp10.html#BeeriNST91