title: space optimization in deductive databases d srivastava , s sudarshan , r ramakrishnan , j naughton 1995. authors: nan. venue: acm trans . database syst .. year: nan
title: xsb as a deductive database proceedings of the 1994 acm sigmod international conference & hellip ; , 1994.0. authors: k sagonas , t swift , ds warren. venue: nan. year: nan