title: xsb as a deductive database k sagonas , t swift , d warren sigmod conference 1994. authors: nan. venue: nan. year: nan
title: integrity checking in deductive databases. authors: r kowalsky , f sadri , p soper. venue: proc . of the 13th vldb , brighton ,. year: nan