title: xsb as a deductive database terrance swift , konstantinos f. sagonas , david scott warren 1994. authors: nan. venue: sigmod conference. year: nan
title: xsb as a deductive database konstantinos sagonas , terrance swift , david s. warren international conference on management of data 1994. authors: nan. venue: nan. year: nan