title: implementing deductive databases by mixed integer programming anil nerode , colin bell , raymond t. ng , v. s. subrahmanian acm trans . database syst . 1996. authors: nan. venue: nan. year: nan
title: further improvements on integrity constraint checking for stratifiable deductive databases very large data bases 1996. authors: sin yeung lee , tok wang ling. venue: nan. year: nan