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