title: xsb as a deductive database k sagonas , t swift , d warren sigmod conference 1994. authors: nan. venue: nan. year: nan
title: xsb as an efficient deductive database system k sagonas , t swift , ds warren. authors: nan. venue: acm sigmod symposium on management of data ,. year: nan