Sets and negation in a logical database language (LDLl (1987)

by C Beeri
Venue:in Proc. ACM SIGMOD-SIGACT Symp. Principles Database Syst