Faiz Arni KayLiang Ong Shalom Tsur Haixun Wang Carlo Zaniolo The Deductive Database System LDL++. 61-94 2003 3 TPLP 1 db/journals/tplp/tplp3.html#ArniOTWZ03