title: implementing deductive databases by mixed integer programming. authors: anil nerode , colin bell , raymond t. ng , v. s. subrahmanian. venue: acm trans . database syst .. 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