title: xsb as a deductive database. authors: k sagonas , t swift , d warren. venue: sigmod conference. year: 1994
title: integrity checking in deductive databases. authors: a oliv. venue: proceedings of the seventeenth vldb. year: nan