Hendrik Decker Foundations of first-order databases. 6-8 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#Decker92