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: implementing deductive databases by mixed integer programming , to appear in : acm transactions of. authors: c bell , a nerode , rt ng , vs subrahmanian. venue: 11th symposium on principles of database systems ,. year: nan