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: implementing deductive databases by mixed integer programming colin bell , anil nerode , raymond t. ng , v. s. subrahmanian. authors: nan. venue: acm transactions on database systems ( tods ). year: 1996.0