Proc 6th Ann ACM Symp Princs Database Sys 1987
(1987)
Beeri, C. et al, (1987)
Beeri, C. et al,"Sets and Negation in a Logic Database Language"