title: xsb as a deductive database. authors: k sagonas , t swift , d warren. venue: sigmod conference. year: 1994
title: duplicates and aggregates in deductive databases. authors: is muiviick , h pirahesh , r ramakrishnan. venue: proceedings of the 16th international vldb con & ence ( brisbane & hellip ; ,. year: nan