The Deductive Database System LDL++. - Faiz Arni; KayLiang Ong; Shalom Tsur; Haixun Wang; Carlo Zaniolo (Theory Pract. Log. Program., 2003)