title: implementing deductive databases by mixed integer programming. authors: c bell , a nerode , r ng , v subrahmanian. venue: acm trans . database syst .. year: 1996
title: integrity checking in deductive databases. authors: r kowalsky , f sadri , p soper. venue: proc . of the 13th vldb , brighton ,. year: nan