title: xsb as a deductive database k sagonas , t swift , d warren sigmod conference 1994. authors: nan. venue: nan. year: nan
title: the partition model : a deductive database model nspy ratos acm transactions on database systems , 1987.0. authors: nan. venue: nan. year: nan