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: r kowalsky , f sadri , p soper. venue: proc . of the 13th vldb , brighton ,. year: nan