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