Rainer Manthey Update-driven Inference in Deductive Databases. 1-5 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#Manthey92