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