title: xsb as an efficient deductive database engine. authors: david scott warren , konstantinos f. sagonas , terrance swift. 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