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: coral : a deductive database programming language international conference on very large data bases . morgan & hellip ; ,. authors: r ramakrishnan , d srivastava , s sudarshan. venue: nan. year: nan