Jo-Hag Byon Peter Z. Revesz DISCO: A Constraint Database System with Sets. 68-83 1995 conf/cdb/1995 CDB db/conf/cdb/cdb95.html#ByonR95