Carlo Zaniolo On the Unification of Active Databases and Deductive databases. 23-39 1993 conf/bncod/1993 BNCOD db/conf/bncod/bncod93.html#Zaniolo93 http://dx.doi.org/10.1007/3-540-56921-9_2