"Compilation of Set Terms in the Logic Data Language (LDL)."

Oded Shmueli, Shalom Tsur, Carlo Zaniolo (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics