title: further improvements on integrity constraint checking for stratifiable deductive databases. authors: sin yeung lee , tok wang ling. venue: vldb. year: 1996
title: implementing deductive databases by mixed integer programming. authors: colin bell , anil nerode , raymond t. ng , v. s. subrahmanian. venue: acm transactions on database systems ( tods ). year: 1996