title: xsb as a deductive database terrance swift , konstantinos f. sagonas , david scott warren 1994. authors: nan. venue: sigmod conference. year: nan
title: an introduction to deductive database languages and systems kotagiri ramamohanarao , james harland 1994. authors: nan. venue: the vldb journal -- the international journal on very large data bases. year: nan