title: space optimization in deductive databases d srivastava , s sudarshan , r ramakrishnan , j naughton 1995. authors: nan. venue: acm trans . database syst .. year: nan
title: on semantic query optimization in deductive databases lvs lakshmanan , r missaoui. authors: nan. venue: nan. year: nan