Successor of LDL. "Sets and Negation in a Logic Database

Language", C. Beeri et al, in Proc 6th Ann ACM Symp Princs

Database Sys (1987), pp.21- 37.