title: implementing deductive databases by mixed integer programming c bell , a nerode , r ng , v subrahmanian. authors: nan. venue: acm trans . database syst .. year: 1996.0
title: implementing deductive databases by mixed integer programming , to appear in : acm transactions of 11th symposium on principles of database systems ,. authors: c bell , a nerode , rt ng , vs subrahmanian. venue: nan. year: nan