title: space optimization in deductive databases acm trans . database syst . 1995. authors: s. sudarshan , divesh srivastava , raghu ramakrishnan , jeffrey f. naughton. venue: nan. year: nan
title: query evaluation in deductive databases with alternating fixpoint semantics acm transactions on database systems ( tods ). authors: weidong chen. venue: nan. year: 1995.0